Knygos.lt nariams
Knygos.lt nariams
- Planuojame turėti už 59 d.
/https://libri-media.knygos-static.lt/0ccc0cd6-e10c-407c-88cd-abb6b283baa2/1)
- Leidėjas: Springer Nature Switzerland AG
- Metai: 2026
- Puslapiai: 131
- ISBN-10: 3032356377
- ISBN-13: 9783032356376
- Kalba: Anglų
Model Checking Software (el. knyga) (skaityta knyga) | knygos.lt
Atsiliepimai
Aprašymas
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.
- Leidėjas: Springer Nature Switzerland AG
- Metai: 2026
- Puslapiai: 131
- ISBN-10: 3032356377
- ISBN-13: 9783032356376
- Kalba: Anglų
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.
Atsiliepimai