Showing 1 - 1 results of 1 for search 'Chlipala, Adam 1981-', čas poizvedbe: 0.01s
Refine Results
-
1
Certified programming with dependent types a pragmatic introduction to the Coq proof assistant od Chlipala, Adam 1981-
Izdano 2013Signatura: loading...Click here to access thru EZproxy
Nahaja se: loading...
Click here to access
Electronic Resource