Verwandte Artikel zu Introduction to HOL: A Theorem-Proving Environment...
Inhaltsangabe
An introduction to the HOL theorem-proving system.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagCambridge University Press
- Erscheinungsdatum1993
- ISBN 10 0521441897
- ISBN 13 9780521441896
- EinbandTapa dura
- SpracheEnglisch
- Anzahl der Seiten492
- HerausgeberGordon M. J. C., Melham T. F.
- Kontakt zum HerstellerNicht verfügbar
Gebraucht kaufen
Zustand: Gut bis sehr gutAncien livre de bibliothèque. Légères...
Diesen Artikel anzeigen
EUR 105,15
EUR 3,99 für den Versand von Frankreich nach Deutschland
Versandziele, Kosten & DauerNeu kaufen
Diesen Artikel anzeigen
EUR 295,80
EUR 31,91 für den Versand von USA nach Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Introduction to HOL: A Theorem-Proving Environment...
Beispielbild für diese ISBN
Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic
Verlag:
Cambridge University Press, 1993
ISBN 10: 0521441897
ISBN 13: 9780521441896
Gebraucht
Hardcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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. Bestandsnummer des Verkäufers E-551-511
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic
Verlag:
Cambridge University Press, 1993
ISBN 10: 0521441897
ISBN 13: 9780521441896
Neu
Hardcover
Erstausgabe
Anbieter: Anis Press, Walnut Creek, CA, USA
Verkäuferbewertung 4 von 5 Sternen
Hardcover. Zustand: 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. Bestandsnummer des Verkäufers 9780521441896
Anzahl: 1 verfügbar