Verification, Model Checking, and Abstract Interpretation / Lecture Notes in Computer Science Bd.4905 (PDF)
This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, and advancement of hybrid methods.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, and advancement of hybrid methods.
- 2008, 2008, 325 Seiten, Englisch
- Herausgegeben: Francesco Logozzo, Doron A. Peled, Leonore D. Zuck
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3540781633
- ISBN-13: 9783540781639
- Erscheinungsdatum: 29.02.2008
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Grösse: 6.86 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.4905".
Kommentar verfassen