by: Graham Birtwistle · P.A. Subrahmanyam
Hardcover
ISBN: 978-0-387-96988-6
ISBN-10: 0-387-96988-8
Springer · 1989
|
|
by: Graham Birtwistle · P.A. SubrahmanyamHardcover
ISBN: 978-0-387-96988-6 ISBN-10: 0-387-96988-8 Springer · 1989 |
| See also: | ||
| 1989 | Gebundene Ausgabe | Current Trends in Hardware Verification and Automated Theorem Proving |