Search Results - Hoare, Charles A. R. 1934-

Filter by
  1. 1
    Cover Image

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

    Published 1989
    Book


    Saved in:
  2. 2
    Cover Image

    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


    Saved in:
  3. 3
    Cover Image

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

    Published 1985
    Book


    Saved in:
  4. 4
    Cover Image

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

    Published 1985
    Book


    Saved in:
  5. 5
    Cover Image

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

    Published 1972
    Book


    Saved in:
  6. 6
    Cover Image

    International Summer School on Program Structures and Fundamental Concepts of Programming, Marktoberdorf, July 19 - 30, 1971
    [6] - Program proving : jumps and functions
    by Hoare, Charles A. R. 1934-, Clint, Maurice

    Published 1971
    Conference Proceedings Book


    Saved in:
  7. 7
    Cover Image

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

    Published 1990
    Book


    Saved in:
  8. 8
    Cover Image

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

    Published 1986
    Book


    Saved in:
  9. 9
    Cover Image

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

    Published 1985
    Book


    Saved in:
  10. 10
    Cover Image

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

    Published 1985
    Book


    Saved in:
  11. 11
    Cover Image

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

    Published 1981
    Book


    Saved in:
  12. 12
    Cover Image

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

    Book


    Saved in:
  13. 13
    Cover Image

    International Summer School on Program Structures and Fundamental Concepts of Programming, Marktoberdorf, July 19 - 30, 1971
    [8] - Proof of a recursive program : QUICKSORT
    by Foley, Michael, Hoare, Charles A. R. 1934-

    Published 1971
    Conference Proceedings Book


    Saved in:
  14. 14
    Cover Image

    Engineering theories of software intensive systems: International Summer School Marktoberdorf August 3 to August 15, 2004; working material for the lectures
    [7] - Process algebra : a unifying approach
    by Hoare, Charles A. R. 1934-

    Published 2004
    Conference Proceedings Book


    Saved in:
  15. 15
    Cover Image

    Engineering theories of software intensive systems: International Summer School Marktoberdorf August 3 to August 15, 2004; working material for the lectures
    [8] - Process algebra : a unifying approach (Slides)
    by Hoare, Charles A. R. 1934-

    Published 2004
    Conference Proceedings Book


    Saved in:
  16. 16
    Cover Image

    Unifying theories of programming
    by Hoare, Charles A. R. 1934-, He, Jifeng 1943-

    Published 1998
    Book


    Saved in:
  17. 17
    Cover Image

    Working material for the lectures of ...
    [3] - Laws of programming : a tutorial paper
    by Hoare, Charles A. R. 1934-

    Published 1986
    Conference Proceedings Book


    Saved in:
  18. 18
    Cover Image

    Specification-oriented semantics for communicating processes
    by Olderog, Ernst-Rüdiger 1955-, Hoare, Charles A. R. 1934-

    Published 1984
    Book


    Saved in:
  19. 19
    Cover Image

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

    Published 1981
    Book


    Saved in:
  20. 20
    Cover Image

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

    Published 1981
    Book


    Saved in:

Search Tools: