Current Trends In Hardware Verification And Automated Theorem Proving

Bibliographic Details
Main Author: G. Birtwistle, P A Subrahmanian
Format: Printed Book
Language:English
Published: Springer-Verlag 1989

DCS

Holdings details from DCS
Call Number: 004.3
Copy Live Status Unavailable

Similar Items