Verification, Model Checking, and Abstract Interpretation
9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
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.
CHF 93.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Peled, Doron A. (Hrsg.) / Zuck, Leonore D. (Hrsg.)
- ISBN: 978-3-540-78163-9
- EAN: 9783540781639
- Produktnummer: 33365784
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2008
- Seitenangabe: 325 S.
- Plattform: PDF
- Masse: 7'027 KB
- Auflage: 2008
- Abbildungen: Bibliographie
- Reihenbandnummer: 4905
3 weitere Werke von Francesco (Hrsg.) Logozzo:
Static Analysis
9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Ebook (PDF Format)
CHF 83.00
Bewertungen
Anmelden