It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited by Tom Morris
March 19, 2022 | History
Edit

Roland C. Backhouse

1948 -

11 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Algorithmic Problem Solving

    First published in 2012 4 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Program Construction: Calculating Implementations from Specifications

    First published in 2003 3 editions in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

    First published in 2006 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

    First published in 2003 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Construction et vérification de programmes

    First published in 1989 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Program construction and verification

    First published in 1986 1 edition in 1 language — 1 previewable
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Syntax of programming languages: theory and practice

    First published in 1979 1 edition in 1 language — 1 previewable
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Datatype-generic Programming

    First published in 2008 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Generic Programming: Advanced Lectures (Lecture Notes in Computer Science)

    First published in 2003 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

    First published in 2007 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Algorithmic problem solving

    First published in 2011 1 edition in 1 language — 1 previewable
    Preview Only

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Roland C. Backhouse
Subjects
Computer programming, Computer science, Generic programming (Computer science), Ordinateurs, Programmation, Programmation (Informatique), Computer Technology, Computer algorithms, Computer programs, Computer software, Congresses, Data structures (Computer science), Data structures (computer science), Developpement, Electronic digital computers, programming, Haskell (Langage de programmation), Langages de programmation, Logic design, Logiciels, Nonfiction, Problem solving, Production programme, Programmation generique, Programmeertalen, Programmiersprache

Lists

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

History

Download catalog record: RDF / JSON
March 19, 2022 Edited by Tom Morris merge authors
August 19, 2008 Edited by an anonymous user fix author name
April 1, 2008 Created by an anonymous user initial import