Suchergebnisse - Hoare, Charles A. R. 1934-

Essays in computing science

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

The weakest prespecification

Algebraic specification and proof of properties of communicating sequential processes

An axiomatic definition of the programming language Pascal

International Summer School on Program Structures and Fundamental Concepts of Programming, Marktoberdorf, July 19 - 30, 1971

Data refinement in a categorical setting

The laws of Occam programming

Communicating sequential processes

JSD expressed in CSP

Partial correctness of communicating processes and protocols

An axiomatic definition of the programming language Pascal

International Summer School on Program Structures and Fundamental Concepts of Programming, Marktoberdorf, July 19 - 30, 1971

Engineering theories of software intensive systems: International Summer School Marktoberdorf August 3 to August 15, 2004; working material for the lectures

Engineering theories of software intensive systems: International Summer School Marktoberdorf August 3 to August 15, 2004; working material for the lectures

Unifying theories of programming

Working material for the lectures of ...

Specification-oriented semantics for communicating processes

A calculus of total correctness for communicating processes

A theory of communicating sequential processes