Häftad, Engelska, 2027
Model Checking Software
Av Vincenzo Ciancia, Arnd Hartmanns
879 kr
Kommande
Beskrivning
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.
Produktinformation
- Utgivningsdatum: 2027-02-24
- Mått: 155 x 235 x undefined mm
- Format: Häftad
- Språk: Engelska
- Serie: Lecture Notes in Computer Science
- Antal sidor: 133
- Förlag: Springer Nature Switzerland AG
- ISBN: 9783032356376
Utforska kategorier
Butikslager
Ej i lager i butik.
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.