Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!

Treffer: The spin model checker

Titel:

The spin model checker : primer and reference manual / Gerard J. Holzmann

Beteiligt:

Holzmann, Gerard J.

Ausgabe:

3. print.

Veröffentlicht:

Boston [u.a.] : Addison-Wesley, 2006

Umfang:

XII, 596 p. : graph. Darst.

Format:

Buch

Sprache:

Englisch

RVK-Notation:

Schlagworte:

ISBN:

0321228626 ; 9780321228628

Zusatz-Informationen