(1 resultados)
Ordenar por
ordenar por...
41,60€(IVA inc.)
Certified Programming with Dependent Types - A Pragmatic Introduction to the Coq Proof Assistant
- Chlipala, Adam
- 978-0-262-02665-9
- 2014-02-25