Certified programming with dependent types. A pragmatic introduction to the coq proof assistant.
সংরক্ষণ করুন:
| প্রধান লেখক: | |
|---|---|
| বিন্যাস: | গ্রন্থ |
| প্রকাশিত: |
Cambridge, Massachusetts, USA: London, England,
2013.
|
| বিষয়গুলি: | |
| ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
MARC
| LEADER | 00000nam a22000007a 4500 | ||
|---|---|---|---|
| 003 | CL-VaPUC | ||
| 005 | 20240126132243.0 | ||
| 008 | 240109t2013 ||||| |||| 00| 0 eng d | ||
| 999 | |c 442933 |d 442931 | ||
| 020 | |a 978-0-262-02665-9 | ||
| 040 | |c Pontificia Universidad Católica de Valparaíso | ||
| 082 | 7 | |a 005.1 CHL 2013 |2 22 | |
| 100 | 1 | |a Chlipala, Adam |e author |9 887060 | |
| 245 | |a Certified programming with dependent types. |b A pragmatic introduction to the coq proof assistant. | ||
| 260 | |a Cambridge, Massachusetts, USA: |a London, England, |c 2013. | ||
| 300 | |a ix, 424 páginas. | ||
| 500 | |a c.1. Donación Prof. Sandra Cano Mazuera / Esc. Ing. Informática 20-12-2023 | ||
| 583 | |c 20240109 |k GC | ||
| 650 | |a Demostración automática de teoremas |x Programas de computador |9 887061 | ||
| 650 | |a Coq (recurso electrónico) |9 887062 | ||
| 942 | |2 ddc |c BK | ||
| 952 | |0 0 |1 0 |2 ddc |4 0 |6 005_100000000000000_CHL_2013 |7 0 |8 A |9 593231 |a BIBING |b BIBING |d 2024-01-09 |e Donación |i 5660044 |o 005.1 CHL 2013 |p 5660044 |r 2024-01-09 |t 1 |w 2024-01-09 |y BK |k CCI | ||