Current trends in hardware verification and automated theorem proving

Bibliographic Details
Main Author: Current trends in
Format: Printed Book
Language:English
Published: New York Springer-Verlag 1989
Subjects:
hardware verification > Computer hardware

UL

Holdings details from UL
Call Number: 621.3.049.77 BIR
Copy Live Status Unavailable

Similar Items