Certified programming with dependent types : : a pragmatic introduction to the Coq proof assistant / / Adam Chlipala.
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 w...
Saved in:
| Superior document: | The MIT Press |
|---|---|
| : | |
| Place / Publishing House: | Cambridge, Massachusetts : : MIT Press,, [2013] [Piscataqay, New Jersey] : : IEEE Xplore,, [2013] |
| Year of Publication: | 2013 |
| Language: | English |
| Series: | The MIT Press
|
| Physical Description: | 1 PDF (xii, 424 pages). |
| Notes: | Bibliographic Level Mode of Issuance: Monograph |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Electronic
| DOAB Directory of Open Access Books | Available |