Model checking
Material type: BookPublication details: london: MIT Press, 1999.Description: xiv, 314 p.: ill; 23cmISBN:- 9780262032704
- 004.21 CLA
Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Books | IIT Gandhinagar | General | 004.21 CLA (Browse shelf(Opens below)) | Available | 004073 |
Includes bibliographical references and index
There are no comments on this title.