ELIGE TUS LIBROS ¡EL ENVÍO ES GRATIS!*
* Envíos a partir de 18€ para España peninsular, Tenerife, Gran Canaria y Mallorca
Libros de JEREMY GIBBONS
Algorithm Design With Haskell
- This book is devoted to five main principles of algorithm design: divide and conquer, greedy..
76,46€72,64€
Bidirectional Transformations
- Introduction to Bidirectional Transformations.- An Introduction to Triple Graph Grammars as an..
55,63€52,85€
Foundations Of Health Information Engineering And Systems
- This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Foundations of Health Information Engineering and Systems, FHIES 2013, held in Macau, China, in August 2013. The 19 revised full papers prese...
55,63€52,85€
Generic Programming
- 242 páginas
- Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast...
111,27€105,71€
Mathematics Of Program Construction
- 363 páginas
- This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. The 13 revised full papers presented together with three invited talks were carefull...
55,63€52,85€
Generic Programming
- 230 páginas
- Generic programming attempts to make programming more efficient by making it more general. This book is devoted to a novel form of genericity in programs, based on parameterizing programs by the structure of the data they manipulate.
52,53€49,90€
Algebraic And Coalgebraic Methods In The Mathematics Of Program Construction
- 385 páginas
- Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint calculu...
55,63€52,85€