Programación profesional de Idris: Cómo diseñar sistemas confiables con tipos dependientes a gran escala
Prijshistorie
* Prijshistorie bevat geen data van Amazon.
Prijzen voor het laatst bijgewerkt op: