Principles of model checking
Material type: TextPublication details: Cambridge, : MIT Press, ©2008.Description: xvii, 975 p. : ill. ; 26 cmISBN:- 9780262026499
- 004.2 22
- QA76.76.V47 B35 2008
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | IIITD Reference | Computer Science and Engineering | REF 004.24 BAI-P (Browse shelf(Opens below)) | Available | 000021 |
Total holds: 0
Includes bibliographical references (p. 931-964) and index.
There are no comments on this title.