Showing 1 - 8 results of 8 for search 'Backhouse, Roland C., 1948-', query time: 0.03s Refine Results
  1. 1
    Program construction : calculating implementations from specifications /

    Program construction : calculating implementations from specifications / by Backhouse, Roland C., 1948-

    Published 2003
    Book
    Save to List
    Saved in:
  2. 2
    Algorithmic problem solving /

    Algorithmic problem solving / by Backhouse, Roland C., 1948-

    Published 2011
    Full Text (via O'Reilly/Safari)
    Electronic eBook
    Save to List
    Saved in:
  3. 3
    Datatype-generic programming international spring school, SSDGP 2006, Nottingham, UK, April 24-27, 2006 : revised lectures /

    Datatype-generic programming international spring school, SSDGP 2006, Nottingham, UK, April 24-27, 2006 : revised lectures /

    Published 2007
    Other Authors: “…Backhouse, Roland C., 1948-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  4. 4
    Generic programming : advanced lectures /

    Generic programming : advanced lectures /

    Published 2003
    Other Authors: “…Backhouse, Roland C., 1948-…”
    Access full-text online
    Book
    Save to List
    Saved in:
  5. 5
    Generic programming : advanced lectures /

    Generic programming : advanced lectures /

    Published 2003
    Other Authors: “…Backhouse, Roland C., 1948-…”
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  6. 6
    Mathematics of Program Construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings /

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

    Published 2000
    Other Authors: “…Backhouse, Roland C., 1948-…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  7. 7
    Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures /

    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 C., 1948-…”
    Conference Proceeding Book
    Save to List
    Saved in:
  8. 8
    Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures /

    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 C., 1948-…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
Search Tools: RSS Feed