Treffer: Model Checking Software

Titel:

Model Checking Software : 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings / edited by Dragan Bošnački, Stefan Leue

Verantwortlich:

Veröffentlicht:

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2002

Umfang:

... Seiten

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Lecture notes in computer science ; 2318
alle Bände anzeigen

Andere Ausgaben:

Elektronische Reproduktion von: Bošnački, Dragan. Model Checking Software. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2002

RVK-Notation:

Schlagworte:

Vorliegende Ausgabe:

Online-Ausgabe: Berlin : Springer, 2011. - 1 Online-Ressource. - (SpringerLink: Springer e-Books)

ISBN:

9783540460176 ; 3540460179 ; 9783540434771 (Sekundärausgabe) ; 3540434771 (Sekundärausgabe)

DOI:

10.1007/3-540-46017-9

Zusatz-Informationen