Treffer 1 – 20 von 41 für Suche 'Hoare, Charles A. R. 1934-', Suchdauer: 0,10s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Tracelets and Specifications

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

    Veröffentlicht 2017
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Assertions a personal perspective

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

    Veröffentlicht 2003

    Volltext öffnen
    Artikel Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Communicating sequential processes

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Communicating sequential processes

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Essays in computing science

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

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Essays in computing science

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

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert 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 von Hoare, Charles A. R. 1934-

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    The weakest prespecification

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

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1972
    Buch Fernleihe Bestellen


    Gespeichert 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 von Hoare, Charles A. R. 1934-, Clint, Maurice

    Veröffentlicht 1971
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Data refinement in a categorical setting

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    The laws of Occam programming

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

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Communicating sequential processes

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

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    JSD expressed in CSP

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

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Partial correctness of communicating processes and protocols

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

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    A theory of communicating sequential processes

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

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Partial correctness of communicating processes and protocols

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

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Strukturnoe programmirovanie

    Strukturnoe programmirovanie von Dahl, Ole-Johan, Dijkstra, Edsger W., Hoare, Charles A. R. 1934-

    Veröffentlicht 1975
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: