Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 proceedings / Editors:E. Allen Emerson, A. Prasad Sistla
Material type: TextPublication details: New York : Springer, c2000.Description: x, 582p. : ill. ; 24 cmISBN:- 9783540677703
- 3540677704
- 004.24 22 COM
Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Books | Library, Institute of Information and Communication Technology General Stacks | 004.24 COM (Browse shelf(Opens below)) | 1 | Available | I000013 | |
Books | Library, Institute of Information and Communication Technology General Stacks | 004.24 COM (Browse shelf(Opens below)) | 2 | Available | I000014 |
Browsing Central Library, SUST shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
No cover image available No cover image available | ||||||||
004.236 RAC Computer Aided mechanical design and analysis / | 004.236 RAC Computer Aided mechanical design and analysis / | 004.24 COM Computer aided verification : | 004.24 COM Computer aided verification : | 004.24 EMC Computer aided verification : | 004.25 SYS System Analysis and design- A practitioner's approach / | 004.25 SYS System Analysis and design- A practitioner's approach / |
Includes bibliographical references and index.
Also issued online.
There are no comments on this title.