Cliff B. Jones
Cliff B. Jones
8 books in the database
Books
Understanding Programming LanguagesCliff B. Jones
Understanding Programming Languages
Cliff B. Jones · 2020
Dependable and Historic ComputingCliff B. Jones
Dependable and Historic Computing
Cliff B. Jones · 2011
Communicating sequential processesCliff B. Jones
Communicating sequential processes
Cliff B. Jones · 2005
Theories of ProgrammingCliff B. Jones
Theories of Programming
Cliff B. Jones · 2021
Reflections on the Work of C.A.R. HoareCliff B. Jones
Reflections on the Work of C.A.R. Hoare
Cliff B. Jones · 2014
Dependable And Historic Computing Essays Dedicated To Brian Randell On The Occasion Of His 75th BirthdayCliff B. Jones
Dependable And Historic Computing Essays Dedicated To Brian Randell On The Occasion Of His 75th Birthday
Cliff B. Jones · 2011
Theoretical Aspects of Computing - ICTAC 2007Cliff B. Jones
Theoretical Aspects of Computing - ICTAC 2007
Cliff B. Jones · 2007
Systematic Software Development Using V. D. M.Cliff B. Jones
Systematic Software Development Using V. D. M.
Cliff B. Jones · 1986
Co-authored books and collections
Books that list Cliff B. Jones among their authors but not as the lead author: co-written works, collections and compilations.
5th Refinement WorkshopRefinement Workshop (5th 1992 London, England)
5th Refinement Workshop
Refinement Workshop (5th 1992 London, England) · 1992
Methods, Models and Tools for Fault ToleranceMichael Butler
Methods, Models and Tools for Fault Tolerance
Michael Butler · 2009
Rigorous Development of Complex Fault-Tolerant SystemsMichael Butler
Rigorous Development of Complex Fault-Tolerant Systems
Michael Butler · 2008
Communicating Sequential Processes. the First 25 YearsAli E. Abdallah
Communicating Sequential Processes. the First 25 Years
Ali E. Abdallah · 2005