-84%
Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings eBook
Original price was: $54.99.$9.00Current price is: $9.00.
Delivery: Can be download immediately after purchasing. For new customer, we need process for verification from 30 mins to 12 hours.
Version: PDF/EPUB. If you need EPUB and MOBI Version, please send contact us.
Compatible Devices: Can be read on any devices
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.
This is a digital product.
Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings 1st Edition is written by Wolfgang Ahrendt; Heike Wehrheim and published by Springer. The Digital and eTextbook ISBNs for Tests and Proofs are 9783030509958, 3030509958 and the print ISBNs are 9783030509941, 303050994X.
Be the first to review “Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings eBook”
You must be logged in to post a review.
Related products
-38%
Bestsellers
eText ISBN: 9781423207764
Original price was: $6.65.$4.10Current price is: $4.10.
-38%
Bestsellers
eText ISBN: 9781440336683
Original price was: $21.65.$13.34Current price is: $13.34.
-38%
Bestsellers
eText ISBN: 9781943872183
Original price was: $53.32.$32.85Current price is: $32.85.
-38%
eText ISBN: 9781337015783
Original price was: $51.65.$31.82Current price is: $31.82.
-38%
Bestsellers
eText ISBN: 9781423207740
Original price was: $6.65.$4.10Current price is: $4.10.
-38%
Bestsellers
eText ISBN: 9781610395700
Original price was: $19.98.$12.31Current price is: $12.31.
-38%
Bestsellers
eText ISBN: 9780203489802
Original price was: $58.32.$35.93Current price is: $35.93.
-38%
eText ISBN: 9781119298625
Original price was: $63.32.$39.01Current price is: $39.01.
Reviews
There are no reviews yet.