Title:
The spin model checker : primer and reference manual
Author:
Holzmann, Gerard J.
ISBN:
9780321228628
Publication Information:
Boston : Addison-Wesley, c2004.
Physical Description:
xii, 596 p. : ill. ; 25 cm.
Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | Book | 7.2/14/102984 | TA168 H65 2004 | Searching... | Searching... |