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