by T Melham
Paperback
ISBN: 978-0-521-11532-2
ISBN-10: 0-521-11532-9
Cambridge University Press · 2009
|
|
by T MelhamPaperback
ISBN: 978-0-521-11532-2 ISBN-10: 0-521-11532-9 Cambridge University Press · 2009 |
| See also (possibly by other authors): | ||
| 1993 | Hardcover | Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science) |