Model Checking Software / Lecture Notes in Computer Science Bd.9232 (PDF)
22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were...
sofort als Download lieferbar
eBook (pdf)
53.49 €
26 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Model Checking Software / Lecture Notes in Computer Science Bd.9232 (PDF)“
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.
Bibliographische Angaben
- 2015, 1st ed. 2015, 319 Seiten, Englisch
- Herausgegeben: Bernd Fischer, Jaco Geldenhuys
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3319234048
- ISBN-13: 9783319234045
- Erscheinungsdatum: 26.08.2015
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 11 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Model Checking Software / Lecture Notes in Computer Science Bd.9232"
0 Gebrauchte Artikel zu „Model Checking Software / Lecture Notes in Computer Science Bd.9232“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Model Checking Software / Lecture Notes in Computer Science Bd.9232".
Kommentar verfassen