Number of the records: 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 
book
Number of the records: 1