Name: Current Trends in Hardware Verification and Automated Theorem Proving: Workshop on Hardware Verification: Papers - Graham Birtwistle et P. A. Subrahmanyam
Brand: Springer-Verlag New York Inc.
Availability: InStock

Current Trends in Hardware Verification and Automated Theorem Proving: Workshop on Hardware Verification: Papers - Graham Birtwistle et P. A. Subrahmanyam - Springer-Verlag New York Inc. | SuperScan