Treffer: Verification, Model Checking, and Abstract Interpretation

Titel:

Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings / edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni

Verantwortlich:

Giacobazzi, Roberto (Herausgeber); Berdine, Josh (Herausgeber); Mastroeni, Isabella (Herausgeber)

Ausgabe:

1st ed. 2013

Veröffentlicht:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

Vertrieb:

Cham : Springer International Publishing AG

Umfang:

1 Online-Ressource (XI, 556 Seiten) : 123 illus.

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 7737

Andere Ausgaben:

Erscheint auch als Druck-Ausgabe: Verification, Model Checking, and Abstract Interpretation. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. - ISBN 9783642358722

RVK-Notation:

SS 4000

Schlagworte:

ISBN:

9783642358739 ; 364235873X ; 978--364235872-2 (Sekundärausgabe) ; 978--364235874-6 (Sekundärausgabe)

DOI:

10.1007/978-3-642-35873-9

Treffer: Verification, Model Checking, and Abstract Interpretation

Zusatz-Informationen

Zusatz-Funktionen