Roland Backhouse – författare
Visar alla böcker från författaren Roland Backhouse. Handla med fri frakt och snabb leverans.
11 produkter
Algorithmic Problem Solving
Häftad, 2011
664 kr
Lägg i varukorg
An entertaining and captivating way to learn the fundamentals of using algorithms to solve problems The algorithmic approach to solving problems in computer technology is an essential tool. With this unique book, algorithm expert Roland Backhouse shares his four decades of experience to teach the …
Program Construction
Calculating Implementations from Specifications
Häftad, 2003
741 kr
Lägg i varukorg
Most texts on logic or discrete math fail to show why math and logic are fundamental tools for programmers. Program Construction illustrates the importance of math and logic to programming, providing a complete, self-contained account of the principles of logical reasoning. Designed specifically so …
Program Construction
Calculating Implementations from Specifications
E-bok, 2003
721 kr
Lägg i varukorg
Most texts on logic or discrete math fail to show why math and logic are fundamental tools for programmers. Program Construction illustrates the importance of math and logic to programming, providing a complete, self-contained account of the principles of logical reasoning. Designed specifically so …
Generic Programming
Advanced Lectures
Av Roland Backhouse, Jeremy Gibbons
Häftad, 2003
510 kr
Lägg i varukorg
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.The book presents the following four revised and extended chapters …
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures
Av Roland Backhouse, Roy Crole m. fl.
Häftad, 2002
566 kr
Lägg i varukorg
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 calculus, universal algebra, category theory, and …
Mathematics of Program Construction
5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
Av Jose Nuno Oliveira, Roland Backhouse
E-bok, 2006
739 kr
Lägg i varukorg
This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematics of Program Construction. This series of conferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- …
Generic Programming
Advanced Lectures
Av Jeremy Gibbons, Roland Backhouse
E-bok, 2003
672 kr
Lägg i varukorg
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. The book presents the following four revised and extended …
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures
Av Jeremy Gibbons, Roy Crole m. fl.
E-bok, 2003
734 kr
Lägg i varukorg
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 calculus, universal algebra, category theory, and …
Mathematics of Program Construction
5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
Av Roland Backhouse, Jose Nuno Oliveira
Häftad, 2000
566 kr
Lägg i varukorg
This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematics of Program Construction. This series of conferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- …
Datatype-Generic Programming
International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Av Roland Backhouse, Jeremy Gibbons m. fl.
Häftad, 2007
566 kr
Lägg i varukorg
A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated — the so-called genericity of the paradigm. The sorts of parameters that can be envisaged in a programming language range from simple values, like integers and ?oating-point …
Datatype-Generic Programming
International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Av Johan Jeuring, Ralf Hinze m. fl.
E-bok, 2007
739 kr
Lägg i varukorg
A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated — the so-called genericity of the paradigm. The sorts of parameters that can be envisaged in a programming language range from simple values, like integers and ?oating-point …
