Professionelle IdrisProgrammierung: Wie man zuverlässige Systeme mit abhängigen Typen in großem Umfang entwickelt
Prijshistorie
* Prijshistorie bevat geen data van Amazon, Amazon Marketplace.
Prijzen voor het laatst bijgewerkt op: