Sat-Based Scalable Format Verification Solutions by Malay Ganai
Material type: TextPublication details: New York Springer 2007Description: xxix, 326pISBN: 0387691669DDC classification: 511.8 GAN
Contents:
Table of Contents
1. Design Verificatio
Item type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
REFERENCE BOOK | LRC_JUIT Mathematics | REFERENCE SECTION | REF 511.8 GAN (Browse shelf (Opens below)) | Copy 1 | Not for loan | 019985 |
Total holds: 0
Table of Contents
1. Design Verificatio
There are no comments on this title.