Confronta i webshop (2)
Shop
Prezzo
Professionelle IdrisProgrammierung: Wie man zuverlässige Systeme mit abhängigen Typen in großem Umfang entwickelt