Certified Programming with Dependent Types - Adam Chlipala - Libros - MIT Press - 9780262545747 - 7 de junio de 2022
En caso de que portada y título no coincidan, el título será el correcto

Adam Chlipala
Certified Programming with Dependent Types

Precio
€ 58,99

Pedido desde almacén remoto

Entrega prevista 31 de dic. - 8 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic
Medios de comunicación Libros     Book
Publicado 7 de junio de 2022
ISBN13 9780262545747
Editores MIT Press
Páginas 436
Dimensiones 150 × 220 × 20 mm   ·   680 g
Lengua Inglés  

Ver todo de Adam Chlipala ( Ej. Book )