Verified Software. Theories, Tools and Experiments : 17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers

Name: Verified Software. Theories, Tools and Experiments
Brand: Springer Nature Switzerland AG
SKU: 9783032273390
Price: 8100 KES
Availability: OutOfStock
ISBN: 9783032273390

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

Product Classification: Software testing & verification Software testing and verification Mathematical theory of computation Systems analysis & design Systems analysis and design Artificial intelligence Artificial intelligence (AI)

KSh 8,100.00

Temporarily out of stock, due soon 0 in stock

Delivery Location

County

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 Clement Pit-Claudel 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 101 pages.