Formal specification and verification of digital systems
By: Miline, George J.
Material type: BookPublisher: London : McGraw-Hill, 1994Description: 240.Call No.: TK7874.65 M55 Subject(s): DIGITAL INTEGRATED CIRCUITS -- DESIGN AND CONSTRUCTION -- DATA | INTEGRATED CIRCUITS | COMPUTER HARDWARE DESCRIPTION LANGUAGESCurrent location | Call number | Status | Date due | Barcode |
---|---|---|---|---|
Main Campus Book Shelves | TK7874.65 M55 (Browse shelf) | Available | 150233 |
There are no comments for this item.