Search Results - Backhouse, Roland C. 1948-

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Program construction and verification

    Program construction and verification by Backhouse, Roland C. 1948-

    Published 1986
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 2
    Program construction calculating implementations from specifications

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

    Published 2003
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  3. 3
    Algorithmic problem solving

    Algorithmic problem solving by Backhouse, Roland C. 1948-

    Published 2011
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: