|
|
Sold Out
Book Categories |
| Pt. I | Elementary Techniques | |
| 1 | The Basics | 3 |
| 2 | Functional Programming in HOL | 9 |
| 3 | More Functional Programming | 27 |
| 4 | Presenting Theories | 53 |
| Pt. II | Logic and Sets | |
| 5 | The Rules of the Game | 67 |
| 6 | Sets, Functions, and Relations | 105 |
| 7 | Inductively Defined Sets | 127 |
| Pt. III | Advanced Material | |
| 8 | More about Types | 149 |
| 9 | Advanced Simplification, Recursion, and Induction | 175 |
| 10 | Case Study: Verifying a Security Protocol | 195 |
| A: Appendix | 207 | |
| Bibliography | 209 | |
| Index | 213 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Jerald Williams
reviewed Isabelle/HOL on May 18, 2012
Isabelle/HOL
Good
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 List
X
This item is in your Collection
Isabelle/HOL
X
This Item is in Your Inventory
Isabelle/HOL
X
You must be logged in to review the productsX
X
X
Add Isabelle/HOL, This textbook-like tutorial is a self-contained introduction to interactive proof, specification, and verification in higher-order logic, using the proof assistant Isabelle 2002. In contrast to existing Isabelle documentation, this book provides a direct , Isabelle/HOL to the inventory that you are selling on WonderClubX
X
Add Isabelle/HOL, This textbook-like tutorial is a self-contained introduction to interactive proof, specification, and verification in higher-order logic, using the proof assistant Isabelle 2002. In contrast to existing Isabelle documentation, this book provides a direct , Isabelle/HOL to your collection on WonderClub |