Model Checking Software, Kartoniert / Broschiert
Model Checking Software
Buch
- 32nd International Symposium, SPIN 2026, Turin, Italy, April 15-16, 2026, Proceedings
Artikel noch nicht erschienen, voraussichtlicher Liefertermin ist der 29.10.2026.
Sie können den Titel schon jetzt bestellen. Versand an Sie erfolgt gleich nach Verfügbarkeit.
Sie können den Titel schon jetzt bestellen. Versand an Sie erfolgt gleich nach Verfügbarkeit.
Aktueller Preis: EUR 75,38
Versandkosten
(United States of America): EUR 19,90
- Herausgeber:
- Arnd Hartmanns, Vincenzo Ciancia
- Verlag:
- Springer Nature Switzerland AG, 10/2026
- Einband:
- Kartoniert / Broschiert
- Sprache:
- Englisch
- ISBN-13:
- 9783032356376
- Artikelnummer:
- 12907943
- Umfang:
- 131 Seiten
- Erscheinungstermin:
- 29.10.2026
- Serie:
- Lecture Notes in Computer Science
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
This book constitutes the refereed proceedings of the 32nd International Symposium on Model Checking Software, SPIN 2026, held in Turin, Italy, during April 15-16, 2026.
The 5 full papers, 1 short paper, and 1 tool paper included in this Volume were carefully reviewed and selected from 17 submissions. The focus of the symposium was on symbolic and state space-based techniques for the validation and analysis of software systems.
Model Checking Software
Aktueller Preis: EUR 75,38
