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.

Bestandsnummer des Verk�ufers 9780521441896

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic
Verlag: Cambridge University Press
Erscheinungsjahr: 1993
Sprache: Englisch
ISBN-10: 0521441897
ISBN-13: 9780521441896
Einband: Hardcover
Auflage: 1st Edition.
Zustand: New

�ber diesen Titel

Inhaltsangabe

An introduction to the HOL theorem-proving system.

Cr�ticas

..".an excellent presentation of a sophisticated reasoning system." Computing Reviews

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

We are an academic book shop with titles in English, French, German, Russian, Arabic & Persian languages. We mainly supply books from California but we also have warehouses in other countries and sometimes ship from outside of US. We usually ship orders within 1-3 days after the order date.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Anis Press
CA, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

We guarantee the condition of every book as it's described on the AbeBooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days. This does not affect your statutory consumer rights includ...

Mehr Information

Widerrufsbelehrung

Versandbedingungen

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Versandkosten innerhalb von USA

Versandkosten innerhalb von USA
Bestellmenge	8 bis 14�Werktage	3 bis 5�Werktage
Erster Artikel	EUR 8.46	EUR 13.53

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.