Higher Order Logic Theorem Proving and Its Applications: Proceedings of the Ifip Tc10/Wg10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--Hol '92
Higher Order Logic Theorem Proving and Its Applications: Proceedings of the Ifip Tc10/Wg10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--Hol '92
The HOL system is a higher order logic theorem proving system implemented at Edinburgh University, Cambridge University and INRIA. Its applications, from the verification of hardware designs at all levels to the verification of programs and communication protocols, are considered in depth in this volume. Other systems based on higher order logic, namely Nuprl and LAMBDA are also discussed. order logic and its implementations in HOL; formal design and verification methodologies for hardware and software; and public domain ...
Read More
The HOL system is a higher order logic theorem proving system implemented at Edinburgh University, Cambridge University and INRIA. Its applications, from the verification of hardware designs at all levels to the verification of programs and communication protocols, are considered in depth in this volume. Other systems based on higher order logic, namely Nuprl and LAMBDA are also discussed. order logic and its implementations in HOL; formal design and verification methodologies for hardware and software; and public domain availability of the HOL system. logic; induction; general modelling and proofs; formalizing and modelling of automata; program verification; hardware description language semantics; hardware verification methodologies; simulation in higher order logic; and extended uses of higher order logic. design and verification methods should find the publication especially interesting, and it is hoped it will also provide a useful reference tool for those working at software institutes and within the electronics industries.
Read Less
Add this copy of Higher Order Logic Theorem Proving and Its Applications to cart. $124.95, very good condition, Sold by Salish Sea Books rated 4.0 out of 5 stars, ships from Bellingham, WA, UNITED STATES, published 1993 by North Holland Publishing.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good; Softcover; Light wear to the covers; Unblemished textblock edges; The endpapers and all text pages are clean and unmarked; The binding is excellent with a straight spine; This book will be shipped in a sturdy cardboard box with foam padding; Medium Format (8.5"-9.75" tall); 0.8 lbs; Green covers with title in white lettering; 1993, North Holland Publishing; 588 pages; "Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Science and Technology), " by L.J.M. Claesen & M.J.C. Gordon.
