👤

Roland C. Backhouse

b. 1948 · 5 books

Books by Roland C. Backhouse

Datatype-generic Programming
Datatype-generic Programming
2008
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
2002
Construction et vérification d
Construction et vérification de programmes
1989
Program construction and verification
Program construction and verification
1986
Syntax of programming languages
Syntax of programming languages
1979