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.


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Beytepe LibraryBook7.2/14/102984TA168 H65 2004Beytepe Genel Koleksiyon