Image from Amazon.com
MODEL CHECKING
Material type:
TextPublication details: Mit Press, Cambridge 2001Description: xiv,314ISBN: - 0262032708
- 004.21 C55M
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | General Stacks | 004.21 C55M (Browse shelf(Opens below)) | Available | A140718 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur shelves, Collection: General Stacks Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 004.2 G129q Quantum error correction and fault tolerant quantum computing | 004.2 Q25 Quantum error correction | 004.21 B453E EMBEDDED SYSTEMS DESIGN | 004.21 C55M MODEL CHECKING | 004.21 D373a Ambient intelligence with microsystems | 004.21 H537W HIGH-LEVEL SYSTEM MODELING | 004.21 K331s System analysis and design [5th ed.] |
There are no comments on this title.
Log in to your account to post a comment.