Roland C. Backhouse
1948 · 11 obras en el catálogo
También catalogado como: Roland Backhouse
Obras

Algorithmic problem solving

Datatype-Generic Programming

Generic programming

Datatype-generic Programming
Algorithmic Problem Solving
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Mathematics of Program Construction
Construction et vérification de programmes

Program construction and verification

Syntax of programming languages
