Tests and Proofs
ISBN 10: 3031098269 ISBN 13: 9783031098260
Published by Springer, 2022
New
Soft cover
From
Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 24 June 2016
This specific item is no longer available.
About this Item
Description:
New. Delivery takes 25-30 days. Excellent Customer Service. Seller Inventory # POD-318710
Synopsis:
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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Tests and Proofs
Publisher: Springer
Publication Date: 2022
Binding: Soft cover
Condition: Brand New