Verified Software. Theories, Tools, and Experiments / Lecture Notes in Computer Science Bd.12031 (PDF)
The 9 full papers presented...
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019.
The 9 full papers presented were carefully revised and selected from 17 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.
- 2020, 1st ed. 2020, 193 Seiten, Englisch
- Herausgegeben: Supratik Chakraborty, Jorge A. Navas
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3030416003
- ISBN-13: 9783030416003
- Erscheinungsdatum: 13.03.2020
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Grösse: 9.10 MB
- Ohne Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Verified Software. Theories, Tools, and Experiments / Lecture Notes in Computer Science Bd.12031".
Kommentar verfassen