Current Trends in Hardware Verification and Automated Theorem Proving

von: Graham Birtwistle · P. A. Subrahmanyam

Gebunden

ISBN-13: 978-3-540-96988-4

ISBN-10: 3-540-96988-8

Siehe auch:
1989	Hardcover	Current Trends in Hardware Verification and Automated Theorem Proving