Introduction to Dependent Types with Idris: Encoding Program Proofs in Types - Boro Sitnikovski - Libros - APress - 9781484292587 - 18 de marzo de 2023
En caso de que portada y título no coincidan, el título será el correcto

Boro Sitnikovski
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 1st edition

Precio
€ 32,99

Pedido desde almacén remoto

Entrega prevista 9 - 19 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

157 pages, 139 Illustrations, black and white; XVIII, 157 p. 139 illus.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 18 de marzo de 2023
ISBN13 9781484292587
Editores APress
Páginas 157
Dimensiones 150 × 220 × 10 mm   ·   279 g
Lengua Inglés  

Mas por Boro Sitnikovski

Mostrar todo

Ver todo de Boro Sitnikovski ( Ej. Paperback Book )