Search Results - Hoare, C.A.R

  • Showing 1 - 9 results of 9
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
    Communicating sequential processes

    Communicating sequential processes by Hoare, C. A. R. 1934- Charles Anthony Richard

    Published 1985
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  3. 3
    Unifying theories of programming

    Unifying theories of programming by Hoare, C. A. R. 1934- Charles Anthony Richard

    Published 1998
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  4. 4
    OCCAM programming manual

    OCCAM programming manual

    Published 1984
    Other Authors: “…Hoare, C.A.R…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  5. 5
    Structures programming

    Structures programming by Dahl, O.J

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

    Save to List
    Saved in:
  6. 6
    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:
  7. 7
    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:
  8. 8
    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:
  9. 9
    Scientific applications of multiprocessors

    Scientific applications of multiprocessors

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

    Save to List
    Saved in:

Search Tools: