Verification, Model Checking, and Abstract Interpretation
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of...
Leider schon ausverkauft
versandkostenfrei
Buch
74.99 €
37 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Verification, Model Checking, and Abstract Interpretation “
Klappentext zu „Verification, Model Checking, and Abstract Interpretation “
This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.
Bibliographische Angaben
- XI, 460 Seiten, 111 Schwarz-Weiß-Abbildungen, Maße: 15,7 x 23,9 cm, Kartoniert (TB), Englisch
- Herausgegeben: Viktor Kuncak, Andrey Rybalchenko
- Verlag: Springer Berlin
- ISBN-10: 3642279392
- ISBN-13: 9783642279393
- Erscheinungsdatum: 12.01.2012
Sprache:
Englisch
Kommentar zu "Verification, Model Checking, and Abstract Interpretation"
0 Gebrauchte Artikel zu „Verification, Model Checking, and Abstract Interpretation“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Verification, Model Checking, and Abstract Interpretation".
Kommentar verfassen