Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings
2024 ed.
Book Details
AI Summary
Delivery Location
Delivery fee: Select location
This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.
The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.
Get Model Checking Software 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.
Discover books you might love based on this title.
More in This Genre
New Technologies, Development and Application V
Ksh 39,600.00
Learn Data Science Using Python
Ksh 9,000.00
Distributed Artificial Intelligence
Ksh 9,900.00
Infrastructure as Code, Patterns and Practices: With examples in Python and Terraform
Ksh 8,450.00
Sustaining Moore’s Law
Ksh 5,050.00
AI and the Future of the Public Sector
Ksh 6,850.00
