Search Results - Hoare, C.A.R. 1934- Charles Antony Richard

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Essays in computing science

    Essays in computing science by Hoare, C. A. R. 1934- Charles Antony Richard

    Published 1989
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 2
    Operating systems techniques proceedings

    Operating systems techniques proceedings

    Published 1972
    Other Authors: “…Hoare, C. A. R. 1934- Charles Antony Richard…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  3. 3
    VDM '90 VDM and Z - formal methods in software development proceedings of the ... held April 17-21, 1990

    VDM '90 VDM and Z - formal methods in software development proceedings of the ... held April 17-21, 1990

    Published 1990
    Other Authors:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  4. 4
    Mathematical logic and programming languages

    Mathematical logic and programming languages

    Published 1985
    Other Authors: “…Hoare, C. A. R. 1934- Charles Antony Richard…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: