Verified Software. Theories, Tools, and Experiments / Lecture Notes in Computer Science Bd.11294 (PDF)
10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers
(Sprache: Englisch)
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.
The 19 full papers presented were...
The 19 full papers presented were...
sofort als Download lieferbar
eBook (pdf)
53.49 €
26 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.11294 (PDF)“
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.
The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.
Bibliographische Angaben
- 2018, 1st ed. 2018, 345 Seiten, Englisch
- Herausgegeben: Ruzica Piskac, Philipp Rümmer
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3030035921
- ISBN-13: 9783030035921
- Erscheinungsdatum: 23.11.2018
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 13 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Verified Software. Theories, Tools, and Experiments / Lecture Notes in Computer Science Bd.11294"
0 Gebrauchte Artikel zu „Verified Software. Theories, Tools, and Experiments / Lecture Notes in Computer Science Bd.11294“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Verified Software. Theories, Tools, and Experiments / Lecture Notes in Computer Science Bd.11294".
Kommentar verfassen