Current trends in hardware verification and automated theorem proving
Publication details: New York Springer-Verlag 1989Edition: Description: 489pISBN:- 621.3.049.77
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
University Library | 621.3.049.77 BIR (Browse shelf(Opens below)) | Available | 00037171 |
There are no comments on this title.