Certified programming with dependent types. A pragmatic introduction to the coq proof assistant.
Saved in:
| 主要作者: | |
|---|---|
| 格式: | 圖書 |
| 出版: |
Cambridge, Massachusetts, USA: London, England,
2013.
|
| 主題: | |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
成為第一個發表評論!