It looks like you're offline.

Last edited by Tom Morris

March 19, 2022 | History

Edit

Roland C. Backhouse

We need a photo of Roland C. Backhouse

Born

1948

11 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Algorithmic Problem Solving

by Roland C. Backhouse First published in 2012
4 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Program Construction: Calculating Implementations from Specifications

by Roland C. Backhouse First published in 2003
3 editions

Locate

My Reading Lists:

Create a new list
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

by Roland C. Backhouse, Roy Crole, and Jeremy Gibbons First published in 2003
1 edition

Locate

My Reading Lists:

Create a new list
Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

by Roland C. Backhouse and Jose Nuno Oliveira First published in 2006
1 edition

Locate

My Reading Lists:

Create a new list
Datatype-generic Programming

by Roland C. Backhouse, Jeremy Gibbons, and Ralf Hinze First published in 2008
1 edition

Locate

My Reading Lists:

Create a new list
Preview

Preview Book
×Close

Syntax of programming languages: theory and practice

by Roland C. Backhouse First published in 1979
1 edition, 1 ebook

Preview Only

My Reading Lists:

Create a new list
Preview

Algorithmic problem solving

by Roland C. Backhouse First published in 2011
1 edition, 1 ebook

Preview Only

My Reading Lists:

Create a new list
Preview

Generic Programming: Advanced Lectures (Lecture Notes in Computer Science)

by Roland C. Backhouse First published in 2003
1 edition, 1 ebook

Locate

My Reading Lists:

Create a new list
Construction et vérification de programmes

by Roland C. Backhouse First published in 1989
1 edition

Locate

My Reading Lists:

Create a new list
Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

by Roland C. Backhouse First published in 2007
1 edition

Locate

My Reading Lists:

Create a new list
Preview

Program construction and verification

by Roland C. Backhouse First published in 1986
1 edition, 1 ebook
Borrow

Listen

Locate
My Reading Lists:

Create a new list

We need a photo of Roland C. Backhouse

Born

1948

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL1123057A

Links outside Open Library

No links yet. Add one?

Alternative names

Roland Backhouse

Download catalog record: RDF / JSON