Hardware specification, verification and synthesis : mathematical aspects ed. by M. Leeser and G. Brown.
Material type: BookSeries: Lecture notes in computer science ; Publication details: New York Springer-Verlag 1990Description: vi, 402pISBN:- 0387972269
- 621.3920151 N90
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Reference | JRD Tata Memorial Library | 621.3920151 N90 (Browse shelf(Opens below)) | Available | 147896 |
There are no comments on this title.