Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.
Material type: TextPublisher: Cambridge, Massachusetts ; London,England : The MIT Press, 2001Edition: Third printingDescription: xiv, 314 pages : illustrations ; 24 cmContent type:- text
- unmediated
- volume
- 0262032708
- 9780262032704
- 004.21 CLA 22
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Book - Borrowing | Central Library Lower Floor | Baccah | 004.21 CLA (Browse shelf(Opens below)) | Available | 000048978 |
Total holds: 0
Includes bibliographical references and index.
There are no comments on this title.