Verification, Model Checking, and Abstract Interpretation / Lecture Notes in Computer Science Bd.5944 (PDF)
This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010.
...
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010.
The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization.
- 2010, 2010, 397 Seiten, Englisch
- Herausgegeben: Gilles Barthe, Manuel Hermenegildo
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3642113192
- ISBN-13: 9783642113192
- Erscheinungsdatum: 06.01.2010
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Grösse: 7.23 MB
- Mit Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Verification, Model Checking, and Abstract Interpretation / Lecture Notes in Computer Science Bd.5944".
Kommentar verfassen