Formal specification and verification of digital systems / George Milne
Material type:
TextDescription: pISBN: - 007707811X
- TK7874.65 .M55 1994
| Item type | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Open Shelf Books
|
ALGHAZALI LIBRARY | TK7874.65 .M55 1994 (Browse shelf(Opens below)) | Available | 012727 |
Browsing ALGHAZALI LIBRARY shelves, Shelving location: Available to Loan Close shelf browser (Hides shelf browser)
|
|
|
|
No cover image available | No cover image available | No cover image available | ||
| TK7874 .V 56 1990 Application specific integrated circuit (asic) technology | TK7874 .W 57 1992 Linear integrated circuits / | TK7874.6 .S 39 1993 Handbook of visi chip design and expert systems / | TK7874.65 .M55 1994 Formal specification and verification of digital systems / | TK 7876 .C 38 1989 Elements of microwave electronics technology / | TK 7876 .C 645 1992 Foundations for microwave engineering / | TK 7876 .I 73 1989 Microwave engineering / |