Current trends in hardware verification and automated theorem proving /

Current trends in hardware verification and automated theorem proving /

Saved in:
Bibliographic Details
Other Authors: Birtwistle, G. M. (Graham M.), Subrahmanyam, P. A.
Format: Book
Language:English
Published: New York : Springer-Verlag, c1989.
Subjects:
Integrated circuits > Very large scale integration > Design and construction.
Automatic theorem proving.

CARM 1 Store

Holdings details from CARM 1 Store
Call Number: A2:AJ21E0 C04632
Copy 1 Available  Place a Hold

Similar Items