Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.
Material type: TextPublication details: Cambridge, Mass. : MIT Press, c1999.Description: xiv, 314 p. : ill. ; 24 cmISBN:- 0262032708 (alk. paper)
- 004.21 21 CLM
Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Books | Library, Institute of Information and Communication Technology General Stacks | 004.21 CLM (Browse shelf(Opens below)) | 1 | Available | I000373 | |
Books | Library, Institute of Information and Communication Technology General Stacks | 004.21 CLM (Browse shelf(Opens below)) | 2 | Available | I000372 |
Browsing Central Library, SUST shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
No cover image available No cover image available | ||||||||
004.21 CAC Create your first Web page in a weekend / | 004.21 CAC Create your first Web page in a weekend / | 004.21 CLM Model checking / | 004.21 CLM Model checking / | 004.21 COE The essentials of user interface design / | 004.21 CUS Customising SSADM / | 004.21 CUS Customising SSADM / |
Includes bibliographical references (p. [297]-307) and index.
There are no comments on this title.