Number of the records: 1
Certified programming with dependent types
Title statement Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant / Adam Chlipala Personal name Chlipala, Adam, 1981- (author) Publication Cambridge, Massachusetts ; London : The MIT Press, [2013] Copyright notice date ©2013 Phys.des. xii, 424 stran ISBN 978-0-262-02665-9 (vázáno) Internal Bibliographies/Indexes Note Obsahuje bibliografické odkazy a rejstřík Subj. Headings programování programming * vývoj softwaru software development * rezervační systémy reservation systems * programovací jazyky programming languages Form, Genre učebnice textbooks Conspect 004.4/.6 - Programování. Software 37.016 - Učební osnovy. Vyučovací předměty. Učebnice UDC 004.42 , 004.415 , 004.78:656.072.1 , 004.43 , (075) Country Spojené státy americké ; Velká Británie Language angličtina Document kind Books Call number Barcode Location Sublocation Info M2/1500 (PřF) 3134046414 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1