Professionelle IdrisProgrammierung: Wie man zuverlässige Systeme mit abhängigen Typen in großem Umfang entwickelt
Compare webshops (1)
Shop
Price
Pages: 258, Paperback, Independently published