A.S. · A. Subrahmanyam · P. A. · P S
| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Current Trends in Hardware Verification and Automated Theorem Proving | Hardcover | 978-0-387-96988-6 (0-387-96988-8) | 1989 | Graham Birtwistle | |
| Current Trends in Hardware Verification and Automated Theorem Proving | Gebunden | 978-3-540-96988-4 (3-540-96988-8) | 1989 | " |