Guía intermedia de Idris: Cómo crear aplicaciones con seguridad tipos y verificadas Idris
Comparar tiendas web (1)
Shop
Precio
Páginas: 197, Tapa blanda, Independently published