Model Checking Software
Model Checking Software
Buch
- 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8¿9, 2024, Proceedings
- Herausgeber:
- Anton Wijs, Thomas Neele
- Verlag:
- Springer Nature Switzerland, 10/2024
- Einband:
- Kartoniert / Broschiert, Paperback
- Sprache:
- Englisch
- ISBN-13:
- 9783031661488
- Artikelnummer:
- 12014586
- Umfang:
- 284 Seiten
- Gewicht:
- 435 g
- Maße:
- 235 x 155 mm
- Stärke:
- 16 mm
- Artikelnummer:
- 12014586
- Erscheinungstermin:
- 13.10.2024
- Serie:
- Lecture Notes in Computer Science - Band 14624
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Weitere Ausgaben von Model Checking Software |
Preis |
|---|
Klappentext
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.
Model Checking Software
EUR 54,75*
