Cliff B. Jones

No bio available. Add one in Open Library.

Books by Cliff B. Jones (50 max)

+ shelf+ list

5th Refinement Workshop: proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992

1992

Refinement Workshop (5th 1992 London, England), Cliff B. Jones, Roger C. Shaw

+ shelf+ list

Theories of Programming The Life and Works and Sir Tony Hoare

2021

Cliff B. Jones, Jayadev Misra

+ shelf+ list

Systematic Software Development Using V. D. M. (Prentice-Hall International series in computer science)

1986

Cliff B. Jones

+ shelf+ list

Understanding Programming Languages

2020

Cliff B. Jones

+ shelf+ list

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)

2005

Cliff B. Jones

+ shelf+ list

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

2005

Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders

+ shelf+ list

Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

2007

Cliff B. Jones, Zhiming Liu, Jones Woodcock

+ shelf+ list

Rigorous Development of Complex Fault-Tolerant Systems

2008

Michael Butler, Alexander Romanovsky, Cliff B. Jones

+ shelf+ list

Methods, Models and Tools for Fault Tolerance

2009

Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna

+ shelf+ list

Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday

2011

Cliff B. Jones

+ shelf+ list

Dependable And Historic Computing Essays Dedicated To Brian Randell On The Occasion Of His 75th Birthday

2011

Cliff B. Jones

+ shelf+ list

Reflections on the Work of C.A.R. Hoare

2014

Cliff B. Jones, A.W. Roscoe, Kenneth R. Wood