Current trends in hardware verification and automated theorem proving ed. by G. Birtwistle and P. A. Subrahmanyam.
Material type: BookPublication details: New York Springer-Verlag 1989Description: viii, 489pISBN:- 0387969888
- 621.395 N89
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Reference | JRD Tata Memorial Library | 621.395 N89 (Browse shelf(Opens below)) | Available | 144429 |
There are no comments on this title.