Zobrazuji výsledky 1 - 1 z 1 pro vyhledávání 'Chlipala, Adam 1981-', doba hledání: 0,01 s.
Upřesnit hledání
-
1
Certified programming with dependent types a pragmatic introduction to the Coq proof assistant Autor Chlipala, Adam 1981-
Vydáno 2013Signatura: loading...Click here to access thru EZproxy
Umístění: loading...
Click here to access
Electronic Resource