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.

N� de ref. del art�culo 9780521441896

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

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

Editor

Cambridge University Press

Fecha de publicaci�n

1993

Idioma

Ingl�s

ISBN 10

0521441897

ISBN 13

9780521441896

Encuadernaci�n

Hardcover

Edici�n

1st Edition.

Estado

New

Cat�logos de vendedores

Acerca de

Sinopsis

An introduction to the HOL theorem-proving system.

Cr�ticas

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

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

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.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Anis Press
CA, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

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...

M�s informaci�n

Derecho a cancelaci�n

Condiciones de env�o

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.

Tarifas de env�o de Estados Unidos de America a Espa�a

Tarifas de env�o de Estados Unidos de America a Espa�a
Cantidad del pedido	De 25 a 45 d�as h�biles	De 8 a 14 d�as h�biles
Primer art�culo	EUR 30.70	EUR 42.64

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.