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.