by T. F. Melham
Hardcover
ISBN: 978-0-521-41718-1
ISBN-10: 0-521-41718-X
Cambridge University Press · 1993
|
|
by T. F. MelhamHardcover
ISBN: 978-0-521-41718-1 ISBN-10: 0-521-41718-X Cambridge University Press · 1993 |
| See also (possibly by other authors): | ||
| 2009 | Paperback | Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science) |