C.A.R. Hoare

  1. home
  2. Author
  3. C.A.R. Hoare
C.A.R. Hoare

19 Published BooksC.A.R. Hoare

Popular Books by C.A.R. Hoare

Communicating sequential processes (Prentice-Hall International series in computer science)
Communicating sequential processes (Prentice-Hall International series in computer science)
View More

Communicating sequential processes (Prentice-Hall International series in computer science)

By: C.A.R. Hoare
Essays in Computing Science (Prentice-hall International Series in Computer Science)
Essays in Computing Science (Prentice-hall International Series in Computer Science)
View More

Essays in Computing Science (Prentice-hall International Series in Computer Science)

By: C.A.R. Hoare
Mathematical Logic and Programming Languages (Prentice-hall International Series in Computer Science)
Mathematical Logic and Programming Languages (Prentice-hall International Series in Computer Science)
View More

Mathematical Logic and Programming Languages (Prentice-hall International Series in Computer Science)

By: C.A.R. Hoare
Developments in Concurrency and Communication
Developments in Concurrency and Communication
View More

Developments in Concurrency and Communication

By: C.A.R. Hoare
Operating Systems Techniques: Proceedings (A.P.I.C. Studies in Data Processing, No. 9.)
Operating Systems Techniques: Proceedings (A.P.I.C. Studies in Data Processing, No. 9.)
View More

Operating Systems Techniques: Proceedings (A.P.I.C. Studies in Data Processing, No. 9.)

By: C.A.R. Hoare
The Mathematics of Programming: An Inaugural Lecture Delivered Before the University of Oxford on 17 October 1985
The Mathematics of Programming: An Inaugural Lecture Delivered Before the University of Oxford on 17 October 1985
View More

The Mathematics of Programming: An Inaugural Lecture Delivered Before the University of Oxford on 17 October 1985

By: C.A.R. Hoare
Unifying Theories of Programming
Unifying Theories of Programming
View More

Unifying Theories of Programming

By: C.A.R. Hoare
Algebraic Specification and Proof of Properties of Communica
Algebraic Specification and Proof of Properties of Communica
View More

Algebraic Specification and Proof of Properties of Communica

By: C.A.R. Hoare
Laws of Programming
Laws of Programming
View More

Laws of Programming

By: C.A.R. Hoare
Weakest Prespecification
Weakest Prespecification
View More

Weakest Prespecification

By: C.A.R. Hoare