Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant /
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:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge, MA :
The MIT Press,
[2013]
|
| Subjects: | |
| Online Access: | CONNECT CONNECT CONNECT |
