Počet záznamů: 1
Certified programming with dependent types
Údaje o názvu Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant / Adam Chlipala Osobní jméno Chlipala, Adam, 1981- (autor) Nakladatel Cambridge, Massachusetts ; London : The MIT Press, [2013] Copyright ©2013 Fyz.popis xii, 424 stran ISBN 978-0-262-02665-9 (vázáno) Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografické odkazy a rejstřík Předmět.hesla programování programming * vývoj softwaru software development * rezervační systémy reservation systems * programovací jazyky programming languages Forma, žánr učebnice textbooks Konspekt 004.4/.6 - Programování. Software 37.016 - Učební osnovy. Vyučovací předměty. Učebnice MDT 004.42 , 004.415 , 004.78:656.072.1 , 004.43 , (075) Země vyd. Spojené státy americké ; Velká Británie Jazyk dok. angličtina Druh dok. Knihy 
kniha
Signatura Čár.kód Lokace Dislokace Info M2/1500 (PřF) 3134046414 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1