BOOKS EBOOKS RARE BOOKS CLASSICAL CDs DVDs PRINTED MUSIC PODCASTS OFFERS
 

Search for: Mike Gordon T F Melham

Refine your search:

 

£45.00
Out of print

Used from £373.45
ISBN: 9780521441896 - Introduction to HOL Introduction to HOL
Gordon, N J C Mike Gordon, T F Melham

ISBN10: 0521441897  ISBN13: 9780521441896
Publisher: Cambridge University Press
Format: Hardback
Publication date: 18 Mar 1993
Higher-Order Logic (HOL) is a proof development system intended for applications to both hardware and software. It is principally used in two ways: for directly proving theorems, and as theorem-proving support for application-specific verification... More