-
RecordNumber
35488
-
Author
Holzmann, Gerard J.
-
Title
The spin model checker : primer and reference manual
-
Author Statement
Gerald J. Holzmann
-
Publication
Addison-Wesley
-
Publication Year
2004
-
Collation
xii, 596 p.
-
Notes
Includes bibliographical references
-
Subject
Systems engineering -- Mathematical models , Computer programs -- Testing
-
LC Class
TA
-
LC Number
168
-
LC CutterNumber
.H65
-
LC Date
2004
-
وارد کنندة اطلاعات
zadehmohammadi
-
Link To Document :
