| 000 | 00612 a2200193 4500 | ||
|---|---|---|---|
| 999 |
_c1927 _d1927 |
||
| 005 | 20230530134232.0 | ||
| 008 | 230530b ||||| |||| 00| 0 eng d | ||
| 020 | _a9780262545747 | ||
| 041 | _aeng | ||
| 082 | _a005.1 CHL/C | ||
| 100 |
_aChlipala, Adam _93641 |
||
| 245 | _aCertified programming with dependent types: a pragmatic introduction to the Coq proof assistant | ||
| 260 |
_bThe MIT Press _c2013 _aCambridge |
||
| 300 | _axii, 424p. | ||
| 650 |
_aAutomatic theorem proving- Computer programs _97413 |
||
| 650 |
_aComputer programming _9873 |
||
| 650 |
_aCoq(Electronic resource) _97416 |
||
| 942 | _cBK | ||