logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Current Trends in Hardware Verification and Automated Theorem Proving - Graham Birtwistle, P. a. Subrahmanyam
Current Trends in Hardware Verification and Automated Theorem Proving
by: (author) (author)
Format: paperback
ISBN: 9781461281955 (1461281954)
Publisher: Springer, 489 pages, ..." />
Pages no: 489
Edition language: English
Bookstores:
Books by Graham Birtwistle
Books by P. a. Subrahmanyam
Share this Book
Need help?