This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26–27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.
| ISBN: | 9783031321566 |
| Publication date: | 2nd May 2023 |
| Author: | Georgiana Caltais |
| Publisher: | Springer International Publishing AG |
| Format: | Paperback |
| Pagination: | 199 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Automatic control engineering Software Engineering Artificial intelligence Computer hardware |
This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26–27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.
Model Checking Software features in the following genres: Automatic control engineering, Software Engineering, Artificial intelligence, Computer hardware
Paperback. £44.99, down from the £49.99 cover price. Not Available.
Model Checking Software was written by Georgiana Caltais and published by Springer International Publishing AG
Model Checking Software has 199 pages
Yes it is part of Lecture Notes in Computer Science series
£44.99, reduced from £49.99. Not Available.