Treffer: Principles of the Spin Model Checker
Titel:
Principles of the Spin Model Checker / by Mordechai Ben-Ari
Beteiligt:
Ausgabe:
1st ed. 2008
Veröffentlicht:
London : Springer London, 2008
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XVI, 220 Seiten) : 17 illus.
Format:
Sprache:
Englisch
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Ben-Ari, Mordechai. Principles of the Spin Model Checker. - London : Springer London, 2008. - ISBN 9781846287695
Schlagworte:
ISBN:
9781846287701 ; 1846287707 ; 9781846287695 (Sekundärausgabe) ; 9781848009523 (Sekundärausgabe)
DOI:
10.1007/978-1-84628-770-1