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
Book
Paperback
This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking...
Full description
Libristo code: 43189759
?
137 b
137 b
56.61
€
In stock at our supplier
Shipping in 5-8 days
Up to 30 days for returns
Customers also purchased
/
Paperback
17.45
€
/
Paperback
16.14
€
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
Book - Paperback
Date of issue
2023
Number of pages
190
EAN
9783031321566
Libristo code
43189759
Publishers
Springer, Berlin
Weight
304
Dimensions
155 x 235
