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