Certified programming with dependent types. A pragmatic introduction to the coq proof assistant.
Saved in:
| 主要作者: | |
|---|---|
| 格式: | 圖書 |
| 出版: |
Cambridge, Massachusetts, USA: London, England,
2013.
|
| 主題: | |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
Biblioteca Mayor de Ingeniería -
| 索引號: |
005.1 CHL 2013 |
|---|---|
| 復印件 1 | 可用 預訂 |