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 [u.a.] : Addison-Wesley, [2011]

Umfang:

XII, 596 S. : graph. Darst.

Format:

Buch

Sprache:

Englisch

RVK-Notation:

Schlagworte:

ISBN:

9780321773715 ; 0321773713

Zusatz-Informationen