Model Checking Software / Lecture Notes in Computer Science Bd.2057 (PDF)
8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.
The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and...
The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and...
sofort als Download lieferbar
eBook (pdf)
Fr. 59.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Model Checking Software / Lecture Notes in Computer Science Bd.2057 (PDF)“
This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.
The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems.
The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.
The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems.
The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.
Bibliographische Angaben
- 2003, 2001, 318 Seiten, Englisch
- Herausgegeben: Matthew Dwyer
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540451390
- ISBN-13: 9783540451396
- Erscheinungsdatum: 29.06.2003
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 3.91 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Model Checking Software / Lecture Notes in Computer Science Bd.2057"
0 Gebrauchte Artikel zu „Model Checking Software / Lecture Notes in Computer Science Bd.2057“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Model Checking Software / Lecture Notes in Computer Science Bd.2057".
Kommentar verfassen