| Author: |
|
Yves Bertot
|
| Title: |
 |
Interactive Theorem Proving and Program Development |
| Moochable copies: |
|
No copies available |
| Amazon suggests: |
|
| Topics: |
|
| Published in: |
|
German (Germany) |
| Binding: |
|
Hardcover |
| Pages: |
|
500 |
| Date: |
|
2008-03-08 |
| ISBN: |
|
3540208542 |
| Publisher: |
|
Springer |
| Weight: |
|
1.85 pounds |
| Size: |
|
1.02 x 6.14 x 9.21 inches |
| Edition: |
|
2004 |
| Wishlists: |
|
|
| Description: |
|
Product Description
A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
|
| URL: |
|
http://bookmooch.com/3540208542 |
|
|
