Hoare, C. A. R. books & textbook
Structured Programming
Edsger Wybe Dijkstra C. A. R. Hoare Ole-Johan Dahl
Academic Press /1972-02-11 Hardcover / 418 Pages
isbn-10: 0122005503 / isbn-13: 9780122005503
Mathematical Logic and Programming Languages (Prentice-hall International Series in Computer Science)
Hoare, C. A. R. Shepherdson, J. C.
Prentice Hall /1985T Hardcover / 165 Pages
isbn-10: 0135614651 / isbn-13: 9780135614655
Communicating Sequential Processes (Prentice-hall International Series in Computer Science)
Prentice Hall /1985-01-01 Paperback / 256 Pages
isbn-10: 0131532898 / isbn-13: 9780131532892
Essays in Computing Science (Prentice-hall International Series in Computer Science)
Prentice Hall /1989T Hardcover / 432 Pages
isbn-10: 0132840278 / isbn-13: 9780132840279
Developments in Concurrency and Communication
Crown Publishers, Inc. /1990T Hardcover
Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (NATO ASI Subseries F:)
Broy, Manfred Bauer, F. Broy, M.- Dijkstra, E.W. Hoare, C.A.R.
Springer /2012-04-09 Paperback / 422 Pages
isbn-10: 3642873766 / isbn-13: 9783642873768
Programming and Mathematical Method: International Summer School (NATO ASI Subseries F:)
Broy, Manfred Bauer, F.L. Broy, Manfred Dijkstra, E.W. Hoare, C.A.R.
Springer /2011-12-21 Paperback / 415 Pages
isbn-10: 3642775748 / isbn-13: 9783642775741
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science, 428)
Bjørner, Dines Hoare, C.A.R. Langmaack, Hans
Springer /1990-04-04 Paperback / 608 Pages
isbn-10: 3540525130 / isbn-13: 9783540525134
Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School (Springer Study Edition)
Broy, Manfred Bauer, F.L. Dijkstra, E.W. Hoare, C.A.R.
Springer /1986-12-01 Paperback / 533 Pages
isbn-10: 3540170820 / isbn-13: 9783540170822
Scientific Applications of Multiprocessors
Prentice Hall /1989-12-31 Hardcover / 143 Pages
isbn-10: 0137957742 / isbn-13: 9780137957743
