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

Share this book

Verified Software. Theories, Tools and Experiments : 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers

Book Details

Format Paperback / Softback
ISBN-10 3031866940
ISBN-13 9783031866944
Publisher Springer International Publishing AG
Imprint Springer International Publishing AG
Country of Manufacture GB
Country of Publication GB
Publication Date May 3rd, 2025
Print length 121 Pages
Product Classification: Software testing & verification
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 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14–15, 2024. The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book.

This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14–15, 2024.

The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book. The conference received 6 submissions this year. The papers deal with the interaction of theory development, tool evolution and experimental validation in science and technology of software verification.

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.