Showing 1 - 1 results of 1 for search 'Chlipala, Adam, 1981-', query time: 0.01s
Refine Results
1
Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant
Call Number
Loading…
Plný text
Electronic
eBook