roland backhouse
Datatype-Generic Programming
EbookSofort lieferbarThis tutorial book presents six carefully revised lectures given at the Spring School on Datatype...
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
EbookSofort lieferbarProgram construction is about turning specifications of computer software into implementations. R...
Generic Programming
EbookSofort lieferbarGeneric programming attempts to make programming more efficient by making it more general. This b...
Mathematics of Program Construction
EbookSofort lieferbarThis volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematic...
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
TaschenbuchBezug 11-15Program construction is about turning specifications of computer software into implementations. R...
Generic Programming
TaschenbuchBezug 11-15Generic programming attempts to make programming more efficient by making it more general. Thi...
Datatype-Generic Programming
TaschenbuchBezug 16-20A leitmotif in the evolution of programming paradigms has been the level and extent of parametris...
Mathematics of Program Construction
TaschenbuchBezug 16-20This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematic...
- 1