Certified programming with dependent types
| Permalink: | http://skupnikatalog.nsk.hr/Record/fer.KOHA-OAI-FER:47107/Similar |
|---|---|
| Glavni autor: | Chlipala, Adam, 1981- (-) |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
MIT Press,
2013.
|
| Predmet: |
APA stil citiranja
Chlipala, A. (2013). Certified programming with dependent types: Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant. MIT Press.
Chicago stil citiranjaChlipala, Adam. Certified programming with dependent types: Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant. MIT Press, 2013.
MLA stil citiranjaChlipala, Adam. Certified programming with dependent types: Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant. MIT Press, 2013.