Obálka

Certified programming with dependent types

Chlipala Adam
Kniha
Citace v seznamu literatury:
CHLIPALA, Adam. Certified programming with dependent types: a pragmatic introduction to the Coq proof assistant. Cambridge, MA: The MIT Press, [2013]. ISBN 9780262317870. Dostupné také z: https://proxy.k.utb.cz/login?url=http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6712486.
skrýt nepovinné údaje zobrazit další údaje
Jméno:Příjmení:Role:
  Přidat autora
Vyplňte povinné pole

skrýt nepovinné údaje zobrazit další údaje

Zkontrolovat citaci Uložit