Discover new books on Goodreads

See if your friends have read any of Cliff B. Jones's books

Cliff B. Jones

Cliff B. Jones’s Followers

None yet.

Cliff B. Jones

Combine Editions
Cliff B. Jones’s books

Average rating: 3.41 · 17 ratings · 2 reviews · 24 distinct works • Similar authors

	Systematic Software Development Using VDM (Prentice-hall International Series in Computer Science) 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
	Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers (Lecture Notes in Computer Science, 3525) by Ali E. Abdallah (Editor), Cliff B. Jones (Editor), Jeff W. Sanders (Editor) it was amazing 5.00 avg rating — 2 ratings — published 2005 — 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
	Mural: A Formal Development Support System 0.00 avg rating — 0 ratings — published 1991 — 4 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
	Case Studies in Systematic Software Development (Prentice-hall International Series in Computer Science) by Cliff B. Jones, Roger C. F. Shaw (Editor) 0.00 avg rating — 0 ratings — published 1990	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
	5th Refinement Workshop by Cliff B. Jones (Editor), Roger C. Shaw (Editor), Tim Denvir (Editor) 0.00 avg rating — 0 ratings — published 1992	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
	Formal Methods and Hybrid Real-Time Systems by Cliff B. Jones (Editor), Zhiming Liu, Jim Woodcock 0.00 avg rating — 0 ratings — published 2007 — 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
	Reflections on the Work of C.A.R. Hoare 0.00 avg rating — 0 ratings — published 2010 — 6 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
	Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday 0.00 avg rating — 0 ratings — published 2011 — 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
	Understanding Programming Languages 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

More books by Cliff B. Jones…

Is this you? Let us know. If not, help out and invite Cliff to Goodreads.