The spin model checker : primer and reference manual
by
Holzmann, Gerard J.
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.
Subject Term
:
Systems engineering -- Mathematical models.
Computer programs -- Testing.
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Beytepe Library | Book | 7.2/14/102984 | TA168 H65 2004 | | Beytepe Genel Koleksiyon |