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

	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
	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
	Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Lecture Notes in Computer Science Book 4711) by Cliff B. Jones (Editor), Zhiming Liu (Editor), Jones Woodcock (Editor) 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
	Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science Book 4700) by Cliff B. Jones (Editor), Zhou Chaochen, Zhiming Liu (Editor) 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

More books by Cliff B. Jones…

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