Certified Programming with Dependent Types
A Pragmatic Introduction to the Coq Proof Assistant
$103.31
- Paperback
440 pages
- Release Date
7 June 2022
Summary
A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus.
The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes a practical engineering fo…
Book Details
| ISBN-13: | 9780262545747 |
|---|---|
| ISBN-10: | 0262545748 |
| Author: | Adam Chlipala |
| Publisher: | MIT Press Ltd |
| Imprint: | MIT Press |
| Format: | Paperback |
| Number of Pages: | 440 |
| Release Date: | 7 June 2022 |
| Weight: | 369g |
| Dimensions: | 229mm x 178mm |
You Can Find This Book In
About The Author
Adam Chlipala
Adam Chlipala is Assistant Professor of Electrical Engineering and Computer Science and Douglas T. Ross (1954) Career Development Professor of Software Technology at MIT.
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.