799:-
Uppskattad leveranstid 10-16 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
- Pocket/Paperback 849:-
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.
- Format: Pocket/Paperback
- ISBN: 9783031321566
- Språk: Engelska
- Antal sidor: 199
- Utgivningsdatum: 2023-05-02
- Förlag: Springer International Publishing AG