Verified Functional Programming in Agda Autor Aaron Stump feb 2016 Paperback Preț: 456.88 lei 537.50 lei 6-8 săpt. -15%