Model Checking Software
Verfügbar
48,14 €
E-Book
pdf
Leseprobe: pdfBeschreibung
This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7–8, 2025.
The 9 full papers included in this book were carefully reviewed and selected from 20 submissions. They focus on topics related to formal verification for automated analysis of (concurrent) software/hardware, in...
Weiterlesen
- E-Books
- Ingenieurswissenschaft, Landwirtschaft & Industrieprozesse
- Elektronik, Nachrichtentechnik
- Elektronik
- Regelungstechnik
- Informatik & Informationstechnologie
- Computerhardware
- Computerprogrammierung & Softwareentwicklung
- Software Engineering
- Sprache
- Englisch
- Erscheinungsdatum
- 31.10.2025
Über das Buch
- Typ:
- E-book
- ISBN:
- 9783032068477
- Verlag:
- SPRINGER
- Access Mode:
- Visual, Auditory, Tactile
- Access Mode Sufficient:
- Visual
Sicherheit
- Formate:
- Kopierschutz:
- Wasserzeichen