Professionelle IdrisProgrammierung: Wie man zuverlässige Systeme mit abhängigen Typen in großem Umfang entwickelt
Priser från
JäMFöR ALLA WEBBUTIKER
(2)
Amazon
Professionelle IdrisProgrammierung: Wie man zuverlässige Systeme mit abhängigen Typen in großem Umfang entwickelt
Läs mer
183,36
Utvalda
|
183,36 kr |
Til butik
|
|
183,36 kr |
Til butik
|
Beskrivning
Amazon
Professionelle IdrisProgrammierung: Wie man zuverlässige Systeme mit abhängigen Typen in großem Umfang entwickelt
Professionelle IdrisProgrammierung: Wie man zuverlässige Systeme mit abhängigen Typen in großem Umfang entwickelt