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
€ 69,99

Pedido desde almacén remoto

Entrega prevista 27 de ago. - 10 de sep.
Recibe notificaciones sobre nuevos lanzamientos de Adam Chlipala

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

Aún no valorado

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  

Más del mismo editor

Ver todo de Adam Chlipala ( Ej. Book )