Verified Software. Theories, Tools and Experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers
2024 ed.
Book Details
Format
Paperback / Softback
Book Series
Lecture Notes in Computer Science
ISBN-10
3031660633
ISBN-13
9783031660634
Edition
2024 ed.
Publisher
Springer International Publishing AG
Imprint
Springer International Publishing AG
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Jul 27th, 2024
Print length
109 Pages
AI Summary
Ksh 8,100.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23–24, 2023. The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions.
Get Verified Software. Theories, Tools and Experiments by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has pages.
Discover books you might love based on this title.
More in This Genre
Computation with Finitely Presented Groups
Ksh 13,200.00
Advances in Information Technology in Civil and Building Engineering
Ksh 45,000.00
Reachability Problems
Ksh 8,100.00
Pattern Recognition
Ksh 16,200.00
Monte Carlo Methods Utilizing Mathematica®
Ksh 6,300.00
ADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium
Ksh 8,100.00
