Formal Specification and Verification of Digital Systems
Material type:
TextPublication details: Delhi McGraw-Hill 1994 Subject(s): INTEGRATED CIRCUITS -VERIFICATION | DIGITAL INTEGRATED CIRCUITS-DESIGN AND CONSTRUCTION - DATA PROCESSSING | COMMUNICATIONS ENGINEERING | COMMUNICATIONS ENGINEERINGDDC classification: 621.392
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
General Books
|
Malaviya National Institute of Technology | 621.392 MIL (Browse shelf(Opens below)) | Available | 54663 |
Browsing Malaviya National Institute of Technology shelves Close shelf browser (Hides shelf browser)
| No cover image available | ||||||
| 621.3822 SUN,C2 Digital Signal Processing | 621.3822 SUN,C3 Digital Signal Processing | 621.3822 SUN,C4 Digital Signal Processing | 621.392 MIL Formal Specification and Verification of Digital Systems | 652.8 GOL V.2 Foundations of Cryptography v-2 |
There are no comments on this title.