Professionelle IdrisProgrammierung: Wie man zuverlässige Systeme mit abhängigen Typen in großem Umfang entwickelt
Comparar tiendas web (1)
Shop
Precio
Páginas: 258, Tapa blanda, Independently published