Chlipala, Adam, 1981-
Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant / Adam Chlipala. -- Cambridge, Massachusetts ; London : The MIT Press, [2013]. -- ©2013. -- xii, 424 stran. -- ISBN : 978-0-262-02665-9 (vázáno).
programování. vývoj softwaru. rezervační systémy. programovací jazyky. učebnice
004.42. 004.415. 004.78:656.072.1. 004.43. (075)