Spin model checker : primer and reference manual
Material type: TextPublication details: Boston : Addison-Wesley, ©2004.Description: xii, 596 p. : ill. ; 25 cmISBN:- 0321228626
- 620.001
- TA168 .H65 2004
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | IIITD Reference | Electronics and Communication Engineering | REF 620.001 HOL-S (Browse shelf(Opens below)) | Available | 000070 |
Total holds: 0
Includes bibliographical references (p. 545-552) and index.
There are no comments on this title.