Tests and Proofs - 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings (Paperback, 1st ed. 2022)
This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022.The 6 full papers together with 1 invited extended abstract included in this volume were carefully reviewed and selected from 11 submissions. They were organized in topical sections on formal analysis, and proofs, and effective testing.
R1,532
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
15320
@R144pm x 12* 
Ships in 10 - 15 working days
Add to wish listReview this Item
Product Description
This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022.The 6 full papers together with 1 invited extended abstract included in this volume were carefully reviewed and selected from 11 submissions. They were organized in topical sections on formal analysis, and proofs, and effective testing.
Customer Reviews
No reviews or ratings yet - be the first to create one!
Product Details
General
Imprint | Springer International Publishing AG |
Country of origin | Switzerland |
Series | Lecture Notes in Computer Science, 13361 |
Release date | June 2022 |
Availability | Expected to ship within 10 - 15 working days |
First published | 2022 |
Editors | Laura Kovacs, Karl Meinke |
Dimensions | 235 x 155mm (L x W) |
Format | Paperback |
Pages | 127 |
Edition | 1st ed. 2022 |
ISBN-13 | 978-3-03-109826-0 |
Barcode | 9783031098260 |
Categories | |
LSN | 3-03-109826-9 |
Similar Products | Recommended ProductsSee more 
Trending On Loot
Be the first to know about our
latest deals & promos! Subscribe Now
