Professional Idris Programming: How to Engineer Reliable Systems with Dependent Types at Scale
Confronta i webshop (1)
Shop
Prezzo
Pagine: 226, Copertina rigida, Independently published