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