• Verification, Model Checking,...
  • Bestand

Treffer: Verification, Model Checking, and Abstract Interpretation

Titel:
Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings / edited by Viktor Kuncak, Andrey Rybalchenko
Verantwortlich:
Kuncak, Viktor (Herausgeber); Rybalchenko, Andrey (Herausgeber)
Ausgabe:
1st ed. 2012
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (X, 457 Seiten) : 111 illus.
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 7148
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Verification, Model Checking, and Abstract Interpretation. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. - ISBN 9783642279393
RVK-Notation:
SS 4000
Schlagworte:
ISBN:
9783642279409 ; 3642279406 ; 978--364227939-3 (Sekundärausgabe) ; 978--364227941-6 (Sekundärausgabe)
DOI:
10.1007/978-3-642-27940-9

Zusatz-Informationen

Zusatz-Funktionen