Verified Software. Theories, Tools and Experiments : 17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers
Book Details
Format
Paperback / Softback
Book Series
Lecture Notes in Computer Science
ISBN-10
3032273390
ISBN-13
9783032273390
Publisher
Springer Nature Switzerland AG
Imprint
Springer Nature Switzerland AG
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Jul 2nd, 2026
Print length
101 Pages
Weight
212 grams
Dimensions
23.30 x 15.60 x 1.00 cms
Ksh 8,100.00
Temporarily out of stock, due soon
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
This book constitutes the refereed proceedings of the 17th International Conference on Verified Software, VSTTE 2025, held in Menlo Park, USA, during October 6, 2025. The 4 full papers and 2 short papers presented in this proceedings were carefully selected and reviewed from 15 submissions. The book also contains extended abstracts of an invited talk and an invited tutorial. VSTTE focusses on critical research challenges in the spectrum 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 Nature Switzerland AG and it has pages.
