Treffer: Verification, Model Checking, and Abstract Interpretation

Titel:

Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings / edited by E. Allen Emerson, Kedar S. Namjoshi

Beteiligt:

Emerson, E. Allen (Herausgeber); Namjoshi, Kedar S (Herausgeber)

Ausgabe:

1st ed. 2006

Veröffentlicht:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

Vertrieb:

Cham : Springer International Publishing AG

Umfang:

1 Online-Ressource (XI, 443 Seiten)

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

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

Andere Ausgaben:

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

RVK-Notation:

SS 4000

Schlagworte:

ISBN:

9783540316220 ; 3540316221 ; --354031139-4 ; --354081941-X ; 978--354031139-3 (Sekundärausgabe) ; 978--354081941-7 (Sekundärausgabe)

DOI:

10.1007/11609773

Treffer: Verification, Model Checking, and Abstract Interpretation

Zusatz-Informationen

Zusatz-Funktionen