Artículos relacionados a Introduction to HOL: A Theorem-Proving Environment...
Sinopsis
An introduction to the HOL theorem-proving system.
"Sinopsis" puede pertenecer a otra edición de este libro.
Críticas
..".an excellent presentation of a sophisticated reasoning system." Computing Reviews
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 2,70
EUR 22,50 gastos de envío desde Francia a Estados Unidos de America
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 285,15
EUR 8,54 gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envíoResultados de la búsqueda para Introduction to HOL: A Theorem-Proving Environment...
Imagen de archivo
Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic
Publicado por
Cambridge University Press, 1993
ISBN 10: 0521441897
ISBN 13: 9780521441896
Antiguo o usado
Tapa dura
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: E-551-511
Gastos de envío:
EUR 22,50
De Francia a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen del vendedor
Introduction to HOL a theorem proving environment for higher order logic ed.
Publicado por
Cambridge, Cambridge University Press, 1993
ISBN 10: 0521441897
ISBN 13: 9780521441896
Antiguo o usado
Softcover
Librería: Antiquariat Bookfarm, Löbnitz, Alemania
Calificación del vendedor: 5 de 5 estrellas
Softcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. C 690 9780521441896 Sprache: Englisch Gewicht in Gramm: 550. Nº de ref. del artículo: 2498282
Gastos de envío:
EUR 16,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic
Publicado por
Cambridge University Press, 1993
ISBN 10: 0521441897
ISBN 13: 9780521441896
Antiguo o usado
Tapa dura
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: Good. Good. book. Nº de ref. del artículo: ERICA82905214418973
Gastos de envío:
EUR 28,91
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic
Publicado por
Cambridge University Press, 1993
ISBN 10: 0521441897
ISBN 13: 9780521441896
Nuevo
Tapa dura
Original o primera edición
Librería: Anis Press, Walnut Creek, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: New. 1st Edition. 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
Cantidad disponible: 1 disponibles