• Verification, Model Checking,...
  • Bestand

Treffer: Verification, Model Checking, and Abstract Interpretation

Titel:
Verification, Model Checking, and Abstract Interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings / edited by Gilles Barthe, Manuel Hermenegildo
Beteiligt:
Barthe, Gilles (Herausgeber); Hermenegildo, Manuel (Herausgeber)
Ausgabe:
1st ed. 2010
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (X, 397 Seiten)
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 5944
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Verification, Model Checking, and Abstract Interpretation. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - ISBN 9783642113185
Schlagworte:
ISBN:
9783642113192 ; 3642113192 ; 978--364211318-5 (Sekundärausgabe) ; 978--364211320-8 (Sekundärausgabe)
DOI:
10.1007/978-3-642-11319-2

Zusatz-Informationen

Zusatz-Funktionen