Treffer: Verification, Model Checking, and Abstract Interpretation

Titel:

Verification, Model Checking, and Abstract Interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings / edited by Radhia Cousot

Beteiligt:

Cousot, Radhia (Herausgeber)

Ausgabe:

1st ed. 2005

Veröffentlicht:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

Vertrieb:

Cham : Springer International Publishing AG

Umfang:

1 Online-Ressource (XII, 483 Seiten)

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

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

Andere Ausgaben:

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

RVK-Notation:

SS 4000

Schlagworte:

ISBN:

9783540305798 ; 3540305793 ; --354024297-X ; --354080675-X ; 978--354024297-0 (Sekundärausgabe) ; 978--354080675-2 (Sekundärausgabe)

DOI:

10.1007/b105073

Treffer: Verification, Model Checking, and Abstract Interpretation

Zusatz-Informationen

Zusatz-Funktionen