Verification, Model Checking, and Abstract Interpretation
12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
This book constitutes the refereed proceedings of the 12th InternationalConference on Verification, Model Checking, and Abstract Interpretation,VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located withthe Symposium on Principles of Programming Languages, POPL 2011.The 24 revised full papers presented together with 4 invited talks werecarefully reviewed and selected from 71 initial submissions. The papersshowcases state-of-the-art research in areas such as verification, modelchecking, abstract interpretation and address any programming paradigm,including concurrent, constraint, functional, imperative, logic andobject-oriented progr…
Mehr
CHF 106.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Schmidt, David (Hrsg.)
- ISBN: 978-3-642-18275-4
- EAN: 9783642182754
- Produktnummer: 33375109
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2011
- Seitenangabe: 419 S.
- Plattform: PDF
- Masse: 6'452 KB
- Auflage: 2011
- Abbildungen: 79 schwarz-weiße und 11 farbige Abbildungen, Bibliographie
- Reihenbandnummer: 6538
5 weitere Werke von Ranjit (Hrsg.) Jhala:
Bewertungen
Anmelden