Showing 1 - 20 results of 46 for search 'Hoare, Charles A.', query time: 0.19s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Tracelets and Specifications

    Tracelets and Specifications by Hoare, Charles A. R. 1934-, Müller, Martin E. 1970-

    Published 2017
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  2. 2
    Assertions a personal perspective

    Assertions a personal perspective by Hoare, Charles A. R. 1934-

    Published 2003

    Get full text
    Article Interlibrary loan Place Request


    Saved in:
  3. 3
    Communicating sequential processes

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

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Communicating sequential processes

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

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Essays in computing science

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

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Essays in computing science

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

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    The mathematics of programming an inaugural lecture delivered before the Univ. of Oxford on 17 Oct. 1985

    The mathematics of programming an inaugural lecture delivered before the Univ. of Oxford on 17 Oct. 1985 by Hoare, Charles A. R. 1934-

    Published 1986
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    The weakest prespecification

    The weakest prespecification by Hoare, Charles A. R. 1934-, He, Jifeng 1943-

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Algebraic specification and proof of properties of communicating sequential processes

    Algebraic specification and proof of properties of communicating sequential processes by Hoare, Charles A. R. 1934-, He, Jifeng 1943-

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    A calculus of total correctness for communicating processes

    A calculus of total correctness for communicating processes by Hoare, Charles A. R. 1934-

    Published 1981
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    An axiomatic definition of the programming language Pascal

    An axiomatic definition of the programming language Pascal by Hoare, Charles A. R. 1934-, Wirth, Niklaus 1934-2024

    Published 1972
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    International Summer School on Program Structures and Fundamental Concepts of Programming, Marktoberdorf, July 19 - 30, 1971

    International Summer School on Program Structures and Fundamental Concepts of Programming, Marktoberdorf, July 19 - 30, 1971 by Hoare, Charles A. R. 1934-, Clint, Maurice

    Published 1971
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Communicating sequential processes

    Communicating sequential processes by Hoare, Charles A.

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  14. 14
    Data refinement in a categorical setting

    Data refinement in a categorical setting by He, Jifeng 1943-, Hoare, Charles A. R. 1934-

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  15. 15
    The laws of Occam programming

    The laws of Occam programming by Roscoe, A. W., Hoare, Charles A. R. 1934-

    Published 1986
    Book Interlibrary loan Place Request


    Saved in:
  16. 16
    Communicating sequential processes

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

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:
  17. 17
    JSD expressed in CSP

    JSD expressed in CSP by Sridhar, K. T., Hoare, Charles A. R. 1934-

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:
  18. 18
    Partial correctness of communicating processes and protocols

    Partial correctness of communicating processes and protocols by Chen, Zhou C., Hoare, Charles A. R. 1934-

    Published 1981
    Book Interlibrary loan Place Request


    Saved in:
  19. 19
    A theory of communicating sequential processes

    A theory of communicating sequential processes by Hoare, Charles A. R. 1934-, Brookes, Stephen D., Roscoe, A. W.

    Published 1981
    Book Interlibrary loan Place Request


    Saved in:
  20. 20
    Partial correctness of communicating processes and protocols

    Partial correctness of communicating processes and protocols by Zhou, Chaochen 1937-, Hoare, Charles A. R. 1934-

    Published 1981
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: