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
KSh 8,100.00
Currently unavailable
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.
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. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.
Get Verified Software. Theories, Tools and Experiments by Andrew Reynolds 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 109 pages.
Customers Who Bought This Also Bought
Behavior-Driven Development with Cucumber
KSh 4,700.00
Cloud-native Application Architecture
KSh 8,100.00
Managing the Testing Process – Practical Tools and Techniques for Managing Hardware and Software Testing 3e +Website
KSh 6,300.00
Debugging
KSh 2,700.00
String Analysis for Software Verification and Security
KSh 14,400.00
Model-Driven Dependability Assessment of Software Systems
KSh 16,200.00
Software Fault Prevention, Verification, and Validation
KSh 10,800.00
Code Clone Analysis
KSh 25,200.00
Fault Detection in Microservice Architectures
KSh 9,900.00
String Analysis for Software Verification and Security
KSh 9,900.00
Software Exorcism
KSh 5,950.00
Testing Software and Systems
KSh 19,800.00
More in This Genre
Behavior-Driven Development with Cucumber
KSh 4,700.00
Cloud-native Application Architecture
KSh 8,100.00
Managing the Testing Process – Practical Tools and Techniques for Managing Hardware and Software Testing 3e +Website
KSh 6,300.00
Debugging
KSh 2,700.00
String Analysis for Software Verification and Security
KSh 14,400.00
Model-Driven Dependability Assessment of Software Systems
KSh 16,200.00
