Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic

ISBN 10: 0521441897 / ISBN 13: 9780521441896
Used / Quantity Available: 0
Available From More Booksellers
View all  copies of this book

About the Book

We're sorry; this specific copy is no longer available. AbeBooks has millions of books. We've listed similar copies below.


Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic. Bookseller Inventory #

About this title:

Book ratings provided by Goodreads:
5 avg rating
(1 ratings)

Synopsis: 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 systems. HOL is currently being applied to a wide variety of problems, including the specification and verification of critical systems. Introduction to HOL provides a coherent and self-contained description of HOL containing both a tutorial introduction and most of the material that is needed for day-to-day work with the system. After a quick overview that gives a 'hands-on feel' for the way HOL is used, there follows a detailed description of the ML language. The logic that HOL supports and how this logic is embedded in ML are then described in detail. This is followed by an explanation of the theorem-proving infrastructure provided by HOL. Finally two appendices contain a subset of the reference manual, and an overview of the HOL library, including an example of an actual library documentation.

Book Description: The HOL system aids the development of safety-critical software. The purpose here has been to provide a coherent and self-contained introduction to HOL and to extract and compress from various sources most of the material that is needed for day-to-day work with the system.

"About this title" may belong to another edition of this title.

Bibliographic Details

Title: Introduction to HOL: A Theorem-Proving ...
Book Condition: Good

Top Search Results from the AbeBooks Marketplace


M. J. C. Gordon and T. F. Melham
Published by Cambridge University Press (1993)
ISBN 10: 0521441897 ISBN 13: 9780521441896
Used Hardcover Quantity Available: 1
Books Express
(Portsmouth, NH, U.S.A.)

Book Description Cambridge University Press, 1993. Hardcover. Book Condition: Good. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May not contain Access Codes or Supplements. Buy with confidence, excellent customer service!. Bookseller Inventory # 0521441897

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 247.77
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds