Roland C. Backhouse
7 published titles
Syntax of programming languages : theory and practice
1 edition
- ISBN: 0138799997
- Prentice-Hall
- 1979
- Details
Program construction and verification
1 edition
- ISBN: 0137291531
- Prentice-Hall
- 1986
- Details
Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 2000 : proceedings
(Contributor)
1 edition
- ISBN: 3540677275
- Springer
- 2000
- Details
Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop, Oxford, UK, April 10 -14 2000 : revised lectures
(Contributor)
1 edition
- ISBN: 3540436138
- Springer
- 2002
- Details
Generic programming : advanced lectures
(Contributor)
1 edition
- ISBN: 3540201947
- Springer-Verlag
- 2003
- Details
Program construction : calculating implementations from specifications
1 edition
- ISBN: 0470848820
- Wiley
- 2003
- Details
Algorithmic problem solving
1 edition
- ISBN: 9780470684535
- Wiley
- 2011
- Details
