Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
| Reihe | Lecture Notes in Computer Science |
|---|---|
| Themen | Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse Elektronik, Nachrichtentechnik Elektronik Regelungstechnik |
| ISBN | 9783032356376 |
| Sprache | Englisch |
| Erscheinungsdatum | 28.10.2026 |
| Größe | 23.5 x 15.5 cm |
| Verlag | Springer International Publishing |
| Herausgegeben von | Vincenzo Ciancia, Arnd Hartmanns |
| Lieferzeit | Erscheint am 28.10.2026 |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
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.
| Reihe | Lecture Notes in Computer Science |
|---|---|
| Themen | Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse Elektronik, Nachrichtentechnik Elektronik Regelungstechnik |
| ISBN | 9783032356376 |
| Sprache | Englisch |
| Erscheinungsdatum | 28.10.2026 |
| Größe | 23.5 x 15.5 cm |
| Verlag | Springer International Publishing |
| Herausgegeben von | Vincenzo Ciancia, Arnd Hartmanns |
| Lieferzeit | Erscheint am 28.10.2026 |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
Wie gefällt Ihnen unser Shop?
