Higher Order Logic and Hardware Verification 31 Cambridge Tracts in Theoretical Computer Science Series Number 31
£88.00
Includes FREE deliveryOrder before 4pm today for delivery by Wed 8 Jul 2026.
A Hardback by T. F. Melham
Trusted by thousands of customers. See 2,385+ Customer Reviews
View other formats and editions of Higher Order Logic and Hardware Verification 31 Cambridge Tracts in Theoretical Computer Science Series Number 31 by T. F. Melham
Publisher: Cambridge University Press
Publication Date: 11/11/1993
ISBN13: 9780521417181, 978-0521417181
ISBN10:
Also in:
Mathematical theory of computation
Mathematical theory of computation