roland backhouse

Grid   List

  1. Datatype-Generic Programming
    Datatype-Generic Programming
    Roland Backhouse
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This tutorial book presents six carefully revised lectures given at the Spring School on Datatype-Generic Programming, SSDGP 2006. This was held in Nottingham, UK, in April 2006. It was colocated w...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
    Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
    Roland Backhouse
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstrac...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Generic Programming
    Generic Programming
    Roland Backhouse
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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 st...
    46,00 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Mathematics of Program Construction
    Mathematics of Program Construction
    Roland Backhouse
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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 mathematica...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
    Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
    Roland Backhouse
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstrac...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. Generic Programming
    Generic Programming
    Jeremy Gibbons
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    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...
    48,10 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Datatype-Generic Programming
    Datatype-Generic Programming
    Roland Backhouse
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 16-20
    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 c...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Mathematics of Program Construction
    Mathematics of Program Construction
    Jose Nuno Oliveira
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 16-20
    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 mathematica...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>