Verified Functional Programming in Agda Autor Aaron Stump 31 ian 2016 Hardback Preț: 625.36 lei 735.72 lei 43-57 zile -15%