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 |