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.

Veröffentlicht:

Boston, Mass. [u.a.] : Addison-Wesley, 2004

Umfang:

XII, 596 S. : graph. Darst.

Format:

Buch

Sprache:

Englisch

RVK-Notation:

Schlagworte:

ISBN:

0321773713 ; 9780321773715

Zusatz-Informationen