Verified Software: Theories, Tools and Experiments / Lecture Notes in Computer Science Bd.8471 (PDF)
6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
(Sprache: Englisch)
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an...
sofort als Download lieferbar
Printausgabe 51.36 €
eBook (pdf) -2%
50.28 €
25 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Verified Software: Theories, Tools and Experiments / Lecture Notes in Computer Science Bd.8471 (PDF)“
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.
Bibliographische Angaben
- 2014, 2014, 287 Seiten, Englisch
- Herausgegeben: Dimitra Giannakopoulou, Daniel Kroening
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3319121545
- ISBN-13: 9783319121543
- Erscheinungsdatum: 13.10.2014
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 15 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 "Verified Software: Theories, Tools and Experiments / Lecture Notes in Computer Science Bd.8471"
0 Gebrauchte Artikel zu „Verified Software: Theories, Tools and Experiments / Lecture Notes in Computer Science Bd.8471“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Verified Software: Theories, Tools and Experiments / Lecture Notes in Computer Science Bd.8471".
Kommentar verfassen