Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 Proceedings / Allen, Emerson E. and A Prasad Sistla,
Material type:
TextPublication details: New York : Springer, c2000.Description: 582p. : ills. ; 28 cmISBN: - 354067704
- 22 004.24 EMC
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Library, Institute of Information and Communication Technology General Stacks | 004.24 EMC (Browse shelf(Opens below)) | 1 | Available | I000012 |
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.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 / | 004.2525 LIS Systems application architecture : |
Include index.
There are no comments on this title.