Author

Roland C. Backhouse

9 books found

Cover of Algorithmic problem solving

Algorithmic problem solving

Roland C. Backhouse · First published 2011

Cover of Datatype-Generic Programming

Datatype-Generic Programming

Roland C. Backhouse · First published 2007

Cover of Mathematics of Program Construction

Mathematics of Program Construction

Roland C. Backhouse, Jose Nuno Oliveira · First published 2006

Cover of Generic programming

Generic programming

Roland C. Backhouse · First published 2003

Cover of Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Roland C. Backhouse, Roy Crole, Jeremy Gibbons · First published 2003

Cover of Program Construction

Program Construction

Roland C. Backhouse · First published 2003

Cover of Construction et vérification de programmes

Construction et vérification de programmes

Roland C. Backhouse · First published 1989

Cover of Program construction and verification

Program construction and verification

Roland C. Backhouse · First published 1986

Cover of Syntax of programming languages

Syntax of programming languages

Roland C. Backhouse · First published 1979