Certified Programming with Dependent Types - A Pragmatic Introduction to the Coq Proof Assistant
Chlipala, Adam
41,60 €(IVA inc.)
- ISBN: 978-0-262-02665-9
- Editorial: MIT Press
- Encuadernacion: Cartoné
- Páginas: 440
- Fecha Publicación: 25/02/2014
- Nº Volúmenes: 1
- Idioma: Inglés