CERTIFIED PROGRAMMING WITH DEPENDENT TYPES & 8211; A PRAGMATIC INTRODUCTION TO T
Adam Chlipala77,58 €
- Editorial: MIT PRESS
- Año de edición: 2013
- Materia: Temas varios
- ISBN: 978-0-262-02665-9
- Páginas: 440
- Colección: < Genérica >
- Idioma: Inglés
77,58 €
Alerta disponibilidad online
Añadir a mis favoritos
Compartir