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