Werezi Books
Cart 0
Verified Software. Theories, Tools and Experiments
Click to zoom

Share this book

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
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
Product Classification: Software testing & verification Mathematical theory of computation Systems analysis & design Expert systems / knowledge-based systems
Ksh 8,100.00 Werezi Extended Catalogue

Delivery Location

Delivery fee: Select location

Delivery in 28 days

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.

Mind, Body, & Spirit

The Mamba Mentality

The Mamba Mentality

Price

Ksh 8,100.00

Shopping Cart

Africa largest book store

Sub Total:
Ebooks

Digital Library
Coming Soon

Our digital collection is currently being curated to ensure the best possible reading experience on Werezi. We'll be launching our Ebooks platform shortly.