1948 –
Non abbiamo ancora una biografia di Roland C. Backhouse.
Pubblicato in Inglese · Francese
Per saperne di più: Open Library (si apre in una nuova scheda)
Algorithmic problem solving
2011
Program Construction
2007
Datatype-generic Programming
2008
Program construction and verification
1986
Syntax of programming languages
1979
Mathematics of Program Construction
2006
Generic programming
2003
Construction et vérification de programmes
1989
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Otium
