Showing 1 - 5 results of 5 for search 'Backhouse, Roland', query time: 0.02s Refine Results
  1. 1
    Program construction and verification
    by Backhouse, Roland C.
    Published 1986
    Book
  2. 2
    Generic Programming Advanced Lectures /
    Published 2003
    Other Authors: “…Backhouse, Roland…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Mathematics of Program Construction 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings /
    Published 2000
    Other Authors: “…Backhouse, Roland…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures /
    Published 2002
    Other Authors: “…Backhouse, Roland…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures /
    Published 2007
    Other Authors: “…Backhouse, Roland…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search