Sold Out
Book Categories |
An Isabelle-Based Theorem Prover for VDM-SL | 1 | |
Executing Formal Specifications by Translation to Higher Order Logic Programming | 17 | |
Human-Style Theorem Proving Using PVS | 33 | |
A Hybrid Approach to Verifying Liveness in a Symmetric Multi-Processor | 49 | |
Formal Verification of Concurrent Programs in LP and in COQ: A Comparative Analysis | 69 | |
ML Programming in Constructive Type Theory | 87 | |
Possibly infinite Sequences in Theorem Provers: A Comparative Study | 89 | |
Proof Normalization for a First-Order Formulation of Higher-Order Logic | 105 | |
Using a PVS Embedding of CSP to Verify Authentication Protocols | 121 | |
Verifying the Accuracy of Polynomial Approximations in HOL | 137 | |
A Full Formalisation of [pi]-Calculus Theory in the Calculus of Constructions | 153 | |
Rewriting, Decision Procedures and Lemma Speculation for Automated Hardware Verification | 171 | |
Refining Reactive Systems in HOL Using Action Systems | 183 | |
On Formalization of Bicategory Theory | 199 | |
Towards an Object-Oriented Progification Language | 215 | |
Verification for Robust Specification | 231 | |
A Theory of Structured Model-Based Specifications in Isabelle/HOL | 243 | |
Proof Presentation for Isabelle | 259 | |
Derivation and Use of Induction Schemes in Higher-Order Logic | 275 | |
Higher Order Quotients and their Implementation in Isabelle HOL | 291 | |
Type Classes and Overloading in Higher-Order Logic | 307 | |
A Comparative Study of Coq and HOL | 323 | |
Author Index | 339 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionTheorem Proving in Higher Order Logics, Vol. 127
X
This Item is in Your InventoryTheorem Proving in Higher Order Logics, Vol. 127
X
You must be logged in to review the productsX
X
X
Add Theorem Proving in Higher Order Logics, Vol. 127, , Theorem Proving in Higher Order Logics, Vol. 127 to the inventory that you are selling on WonderClubX
X
Add Theorem Proving in Higher Order Logics, Vol. 127, , Theorem Proving in Higher Order Logics, Vol. 127 to your collection on WonderClub |