Tests and Proofs
Format: Paperback
ISBN13: 9783030509941
Paperback|9783030509941
✨ Featured Offer
Brand New
$58.73
List Price: $54.99
🚚
See all 3 offers from $55.15 FREE standard delivery by: 31 Mar 2026
Overview
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020.
The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.| ISBN-13 | 9783030509941 |
|---|---|
| ISBN-10 | 303050994X |
| Weight | 0.62 Pounds |
| Dimensions | 6.10 x 0.45 x 9.25 In |
| List Price | $54.99 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | xiii, 181 pages |
| Publisher | Springer |
| Published On | 2020-06-20 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
Used, Good
Seller details
HPB-Red
Dallas, TX, USA
Connecting readers with great books since 1972! Used textbooks may not include companion materials s...
Free delivery by: 31 Mar 2026
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand Trade paperback (US). Glued binding. 181 p. Contains: Unspecified, Illustrations, b...
Free delivery by: 31 Mar 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 31 Mar 2026