Formal specification and verification of digital systems
By: Miline, George J.
Material type:![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|
Main Campus Book Shelves | TK7874.65 M55 (Browse shelf) | Available | 150233 |
Browsing Main Campus Shelves , Shelving location: Book Shelves Close shelf browser
TK7874.65 D364D Digital design from zero to one | TK7874.65 D452D Digital integrated circuits | TK7874.65 J42T Testing of digital systems / | TK7874.65 M55 Formal specification and verification of digital systems | TK7874.65 W343D 1994 Digital design : principles and practices | TK7874.65 W343D 2000 Digital design : principles and practices | TK7874.75 ย327ท 2528 เทคนิคการประยุกต์และใช้งาน ไอ ซี ที ที แอล |
There are no comments for this item.