Treffer: Model Checking Software
Titel:
Model Checking Software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings / edited by Antti Valmari
Verantwortlich:
Ausgabe:
1st ed. 2006
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (X, 308 Seiten)
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 3925
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Model Checking Software. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - ISBN 9783540331025
RVK-Notation:
Schlagworte:
ISBN:
9783540331032 ; 3540331034 ; --354033102-6 ; --354082197-X ; 978--354033102-5 (Sekundärausgabe) ; 978--354082197-7 (Sekundärausgabe)
DOI:
10.1007/11691617