Verified Functional Programming in Agda Autor Aaron Stump 31 ian 2016 Hardback Preț: 625.36 lei 735.72 lei 6-8 săpt. -15%