Tests and Proofs Image close
Tests and Proofs
Tests and Proofs
Show Hide Adult Content
Tests and Proofs close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer programming / software development  
Software Engineering

Tests and Proofs

15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$136.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $34.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Programming and Software Engineering

See all products in this series

Formal Methods for Web Services
$173.99
Formal Methods for Web Services
Paperback / softback
Available - Usually ships in 3-4 weeks
Static Analysis Save $35
$141.99
$177.95
Static Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation
$175.99
Reversible Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Fundamentals of Software Engineering
$136.99
Fundamentals of Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Safety, Reliability, and Security Save $62
$140.99
$203.95
Computer Safety, Reliability, and Security
Paperback / softback
Available - Usually ships in 3-4 weeks
Tests and Proofs
$136.99
Tests and Proofs
Paperback / softback
Available - Usually ships in 3-4 weeks
Architecting Dependable Systems V Save $12
$138.99
$151.95
Architecting Dependable Systems V
Paperback / softback
Available - Usually ships in 3-4 weeks
Requirements Engineering: Foundation for Software Quality
$135.99
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Available - Usually ships in 3-4 weeks
Rule-Based Reasoning, Programming, and Applications
$138.99
Rule-Based Reasoning, Programming, and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Techniques for Distributed Objects, Components, and Systems
$136.99
Formal Techniques for Distributed Objects, Components, and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Quality of Software Architectures
$135.99
$140.95
Quality of Software Architectures
Paperback / softback
Available - Usually ships in 3-4 weeks
Requirements Engineering: Foundation for Software Quality
$139.99
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Available - Usually ships in 3-4 weeks
Requirements Engineering: Foundation for Software Quality
$136.99
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Available - Usually ships in 3-4 weeks
Integrated Formal Methods Save $30
$136.99
$167.95
Integrated Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematics of Program Construction
$137.99
Mathematics of Program Construction
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods: Foundations and Applications
$135.99
Formal Methods: Foundations and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the proceedings of the 15th International Conference on Tests and Proofs, TAP 2021, which was held as part of Software Technologies: Applications and Foundations, STAF 2021, and took place online during June 12-25, 2021.The 6 full papers included in this volume were carefully reviewed and selected from 10 submissions. They were organized in topical sections on learning, test resource allocation and benchmarks and on testing.
Release date Australia
June 18th, 2021
Contributors
  • Edited by Franz Wotawa
  • Edited by Frederic Loulergue
Pages
107
Edition
1st ed. 2021
Audience
  • Professional & Vocational
Illustrations
10 Illustrations, black and white; XIII, 107 p. 10 illus.
ISBN-13
9783030793784
Product ID
35053875

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer programming / software development >
Software Engineering