Books by C.A.R. Hoare

C.A.R. Hoare
Average rating 4.18 · 87 ratings · 14 reviews · shelved 854 times

Showing 19 distinct works.

	Communicating sequential processes (Prentice-Hall International series in computer science) by C.A.R. Hoare 4.26 avg rating — 43 ratings — published 1985 — 7 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Structured Programming by Ole-Johan Dahl, Edsger W. Dijkstra, C.A.R. Hoare 4.11 avg rating — 36 ratings — published 1972 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	VDM: Une Méthode Rigoureuse Pour le Développement du Logiciel by Cliff B. Jones, C.A.R. Hoare (Preface) 2.67 avg rating — 9 ratings — published 1980 — 7 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Essays in Computing Science (Prentice-hall International Series in Computer Science) by C.A.R. Hoare, Cliff B. Jones really liked it 4.00 avg rating — 4 ratings — published 1989 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Mathematical Logic and Programming Languages (Prentice-hall International Series in Computer Science) by C.A.R. Hoare 4.33 avg rating — 3 ratings — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Developments in Concurrency and Communication by C.A.R. Hoare (Editor) really liked it 4.00 avg rating — 1 rating — published 1990 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Operating Systems Techniques: Proceedings (A.P.I.C. Studies in Data Processing, No. 9.) by C.A.R. Hoare 0.00 avg rating — 0 ratings — published 1972	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	The Mathematics of Programming: An Inaugural Lecture Delivered Before the University of Oxford on 17 October 1985 by C.A.R. Hoare (Contributor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Unifying Theories of Programming by C.A.R. Hoare 0.00 avg rating — 0 ratings — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Algebraic Specification and Proof of Properties of Communica by C.A.R. Hoare 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Laws of Programming by C.A.R. Hoare 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Weakest Prespecification by C.A.R. Hoare 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Calculus of Total Correctness for Communicating Processes by C.A.R. Hoare 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Specifications, Programmes and Implementations by C.A.R. Hoare 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Partial Correctness of Communicating Processes and Protocols by C.A.R. Hoare, Zhou Chao Chen 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Vdm '90: Vdm and Z-Formal Methods in Software Development (Lecture Notes in Computer Science) by D. Bjorner, C.A.R. Hoare, H. Langmaack (Editor) 0.00 avg rating — 0 ratings — published 1990 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School (Nato ASI Subseries F:) by Friedrich L. Bauer (Director), Edsger W. Dijkstra, C.A.R. Hoare 0.00 avg rating — 0 ratings — published 1985 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Specification-orientated Semantics for Communicating Process by E-.R. Olderog, C.A.R. Hoare 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Object-Oriented Software Construction by Bertrand Meyer, C.A.R. Hoare (Series Editor) 0.00 avg rating — 0 ratings — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more books, click here.