Your search returned 2 results.

Results
	1.	VLSI specification, verification and synthesis ed. by Graham Birtwistle and P. A. Subrahmanyam. by Birtwistle, Graham., ed Subrahmanyam, P. A., ed Series: Kluwer international series in engineering and computer science ; Material type: Book Publication details: Boston Kluwer Academic 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.395 N8823.
	2.	Current trends in hardware verification and automated theorem proving ed. by G. Birtwistle and P. A. Subrahmanyam. by Birtwistle, G., ed Subrahmanyam, P. A., ed Material type: Book Publication details: New York Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.395 N89.

Refine your search