Verified Functional Programming in Agda Autor Aaron Stump 31 ian 2016 Paperback Preț: 455.28 lei 535.62 lei 43-57 zile -15%