1. Certified programming with dependent types
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 Lok/dislok | Absenčně | Vypůjčené | Rezervované | Prezenčně | Nedostupné | Pouze k rezervaci |
---|---|---|---|---|---|---|
PRF | 0 | 0 | 0 | 1 | 0 | 0 |