Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Science and Technology)
From North Holland
[PDF.ej63] Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Science and Technology) Rating: 3.67 (614 Votes)
Higher Order Logic Theorem From North Holland epub Higher Order Logic Theorem From North Holland pdf download Higher Order Logic Theorem From North Holland pdf file Higher Order Logic Theorem From North Holland audiobook Higher Order Logic Theorem From North Holland book review Higher Order Logic Theorem From North Holland summary | #3184948 in Books | 1993-02-17 | 1993-02-03 | Original language:English | 9.00 x1.33 x5.75l, | File type: PDF | 588 pages|
The HOL system is a higher order logic theorem proving system implemented at Edinburgh University, Cambridge University and INRIA. Its many 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.
Features given particular consideration are: novel developments in higher o...
You easily download any file type for your device.Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Science and Technology) | From North Holland. A good, fresh read, highly recommended.
