Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
Contact
How to shop
Help
Delivery
DPD courier 4.99 €
GLS courier 9.99 €
Shopping guide
My account
▸
Empty :-(
0
Model Checking Software
29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
Language
English
English
E-book
Adobe ePub DRM
This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking...
Full description
Libristo code: 44989046
?
162 b
162 b
66.98
€
In stock
Immediate digital delivery
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.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Model Checking Software
Author
Georgiana Caltais, Christian Schilling
Language
English
English
Binding
E-book - Adobe ePub DRM
Date of issue
2023
EAN
9783031321573
Libristo code
44989046
Publishers
Springer
