Image from Amazon.com
Symbolic model checking
Material type:
TextPublication details: Boston Kluwer Academic 1993Description: xv, 194pISBN: - 0792393805
- 621.392 M459s
| Item type | Current library | Collection | Call number | URL | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 621.392 M459s (Browse shelf(Opens below)) | Link to resource | Available | A174984 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur shelves, Collection: COMPACT STORAGE (BASEMENT) Close shelf browser (Hides shelf browser)
|
|
No cover image available |
|
|
No cover image available |
|
||
| 621.392 G346H HARDWARE DISCRIPTION LANGUAGES | 621.392 H222 HARDWARE COMPONENT MODELING | 621.392 In8e Electrical and computer engineering | 621.392 M459s Symbolic model checking | 621.392 P856P PRINCIPLES OF EMBEDDED NETWORKED SYSTEMS DESIGNS | 621.392 Si88 THERMOELECTRIC MATERIALS | 621.39223 En27 Energy-aware system design |
There are no comments on this title.
Log in to your account to post a comment.