Books by Cliff B. Jones

Cliff B. Jones
Average rating 3.41 · 17 ratings · 2 reviews · shelved 76 times

Showing 24 distinct works.

	Systematic Software Development Using VDM (Prentice-hall International Series in Computer Science) by Cliff B. Jones 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 — 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
	Reflections on the Work of C.A.R. Hoare by A.W. Roscoe (Editor), Cliff B. Jones (Editor), Kenneth R. Wood (Editor) it was amazing 5.00 avg rating — 1 rating — published 2010	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 Orientation with Parallelism and Persistence (The Springer International Series in Engineering and Computer Science) by Burkhard Freitag, Cliff B. Jones, Christian Lengauer liked it 3.00 avg rating — 1 rating — published 1996 — 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
	Mural: A Formal Development Support System by Cliff B. Jones 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 by Cliff B. Jones (editor) 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 by Cliff B. Jones (Contributor) 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 by Cliff B. Jones 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), Jim 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
	Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday (Lecture Notes in Computer Science Book 6875) by Cliff B. Jones (Editor), John L. Lloyd (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
	Programming Languages and Their Definition (Lecture Notes in Computer Science) by Hans Bekic, Cliff B. Jones 0.00 avg rating — 0 ratings — published 1984	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 Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science Number 61) by Dines Bjørner (Editor), Cliff B. Jones 0.00 avg rating — 0 ratings — published 1978 — 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 '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Lecture Notes in Computer Science, 252) by Dines Bjørner (Editor), Erich J. Neuhold (Editor), Cliff B. Jones (Editor), Michael Mac an Airchinnigh (Editor) 0.00 avg rating — 0 ratings — published 1987 — 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
	Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective by Denis Besnard, Cliff B. Jones 0.00 avg rating — 0 ratings — published 2005 — 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
	Methods, Models and Tools for Fault Tolerance (Lecture Notes in Computer Science, 5454) by Michael Butler (Editor), Cliff B. Jones (Editor), Alexander Romanovsky (Editor), Elena Troubitsyna (Editor) 0.00 avg rating — 0 ratings — published 2009 — 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 ... UK, July 7-8, 2004. Revised Invited Papers by Ali E. Abdallah (editor), Cliff B. Jones (Editor), Jeff W. Sanders (Editor) 0.00 avg rating — 0 ratings — published 2005	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 by Ali E. Abdallah (Editor), Cliff B. Jones (Editor), Jeff W. Sanders (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
	Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Lecture Notes in Computer Science, 4711) by Zhiming Liu (Editor), Cliff B. Jones (Editor), Jones Woodcock (Editor) 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
	Methods, Models and Tools for Fault Tolerance (Lecture Notes in Computer Science Book 5454) by Michael Butler (Goodreads Author) (Editor), Cliff B. Jones (Editor), Alexander Romanovsky (Editor), Elena Troubitsyna (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

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