Roland C. Backhouse

Also known as

Roland Backhouse

Born 1948-01-01

Identifiers

Open LibraryOL1123057A

Top Subjects

Computer science (2)
Programming languages (Electronic computers) -- Syntax (1)
Computer programming. (1)
Programmation (Informatique) (1)
Logic design (1)
Data structures (Computer science) (1)
Software engineering (1)

Books by Roland C. Backhouse

Total count: 10

Syntax of programming languagestheory and practice

Prentice-Hall International1979-01-01
Program construction and verification

Prentice-Hall International1986-01-01
Construction et vérification de programmes

Masson1989-01-01
Program Construction

John Wiley & Sons, Ltd.2003-01-01
Algebraic and Coalgebraic Methods in the Mathematics of Program ConstructionInternational Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

Springer London, Limited2003-01-01
Generic ProgrammingAdvanced Lectures

Springer London, Limited2003-01-01
Mathematics of Program Construction5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

Springer London, Limited2006-01-01
Datatype-Generic ProgrammingInternational Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

Springer2007-01-01
Algorithmic problem solving

Wiley2011-01-01
Algorithmic Problem Solving

Wiley & Sons, Incorporated, John2012-01-01