Treffer: The spin model checker

Titel:

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

Beteiligt:

Veröffentlicht:

Boston, MA : Addison-Wesley, 2004

Vertrieb:

Sebastopol, CA : O'Reilly Media Inc.

Umfang:

1 Online-Ressource

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Safari Tech Books Online

RVK-Notation:

Schlagworte:

ISBN:

0321228626

Zusatz-Informationen