Verification, Model Checking, and Abstract Interpretation
10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
This volume contains the proceedings of the 10th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2009), held in Savannah, Georgia, USA, January 18-20, 2009. VMCAI 2009 was the 10th in a series of meetings. Previous meetings were heldinPortJe?erson1997,Pisa1998,Venice2002,NewYork2003,Venice2004, Paris 2005, Charleston 2006, Nice 2007, and San Francisco 2008. VMCAI centers on state-of-the-art research relevant to analysis of programs and systems and drawn from three research communities: veri?cation, model checking, and abstract interpretation. A goal is to facilitate interaction, cro- fertilization,…
Mehr
CHF 88.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Müller-Olm, Markus (Hrsg.)
- ISBN: 978-3-540-93900-9
- EAN: 9783540939009
- Produktnummer: 33308982
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2008
- Seitenangabe: 381 S.
- Plattform: PDF
- Masse: 7'039 KB
- Auflage: 2008
- Abbildungen: Bibliographie
- Reihenbandnummer: 5403
5 weitere Werke von Neil (Hrsg.) Jones:
Bewertungen
Anmelden