• Verification, Model Checking,...
  • Intern

Treffer: Verification, Model Checking, and Abstract Interpretation

Titel:
Verification, Model Checking, and Abstract Interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / edited by Kenneth McMillan, Xavier Rival
Beteiligt:
McMillan, Kenneth (Herausgeber); Rival, Xavier (Herausgeber)
Ausgabe:
1st ed. 2014
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2014
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XVIII, 493 Seiten) : 120 illus.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 8318
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Verification, Model Checking, and Abstract Interpretation. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2014. - ISBN 9783642540127
Schlagworte:
ISBN:
9783642540134 ; 3642540139 ; 978--364254012-7 (Sekundärausgabe) ; 978--364254014-1 (Sekundärausgabe)
DOI:
10.1007/978-3-642-54013-4

Zusatz-Informationen

Zusatz-Funktionen