|
|
Sold Out
Book Categories |
| 1 | A brief overview | 1 |
| 2 | Types and expressions | 13 |
| 3 | Propositions and proofs | 43 |
| 4 | Dependent products, or Pandora's box | 73 |
| 5 | Everyday logic | 105 |
| 6 | Inductive data types | 137 |
| 7 | Tactics and automation | 187 |
| 8 | Inductive predicates | 211 |
| 9 | Functions and their specifications | 251 |
| 10 | Extraction and imperative programming | 285 |
| 11 | A case study | 309 |
| 12 | The module system | 325 |
| 13 | Infinite objects and proofs | 347 |
| 14 | Foundations of inductive types | 377 |
| 15 | General recursion | 407 |
| 16 | Proof by reflection | 433 |
| Price | Condition | Delivery | Seller | Action |
| $109.00 | Digital |
| WonderClub |
Jerry Marino
reviewed Interactive Theorem Proving and Program Development on September 19, 2012
Interactive Theorem Proving and Program Development
The first two chapters are just grab bags of random topics. I'll pick this up again later once I have a better understanding of how Coq is supposed to be used.
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
Interactive Theorem Proving and Program Development
X
This Item is in Your Inventory
Interactive Theorem Proving and Program Development
X
You must be logged in to review the productsX
X
X
Add Interactive Theorem Proving and Program Development, , Interactive Theorem Proving and Program Development to the inventory that you are selling on WonderClubX
X
Add Interactive Theorem Proving and Program Development, , Interactive Theorem Proving and Program Development to your collection on WonderClub |
