Cliff B. Jones
Identifiers
- Open LibraryOL2656460A
Top Subjects
- Information theory (1)
- Electronic data processing (1)
- Operating systems (Computers) (1)
- Programming Languages, Compilers, Interpreters (1)
- Computer science (1)
- Operating Systems (1)
- Data protection (1)
Books by Cliff B. Jones
Total count: 11
-
Systematic Software Development Using V. D. M. (Prentice-Hall International series in computer science)Longman Higher Education1986-03-01
5th Refinement WorkshopProceedings of the 5th Refinement Workshop, Organised by Bcs-Facs, London, 1-10 January 1992 (Workshops in Computing)Springer1992-07-01-
Communicating Sequential Processes. the First 25 YearsSymposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited PapersSpringer London, Limited2005-01-01
-
Theoretical Aspects of Computing - ICTAC 20074th International Colloquium, Macau, China, September 26-28, 2007, ProceedingsSpringer London, Limited2007-01-01
-
Formal Methods and Hybrid Real-Time SystemsEssays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th BirthdaysSpringer London, Limited2007-01-01
-
Methods, Models and Tools for Fault ToleranceSpringer London, Limited2009-01-01
Dependable and Historic ComputingEssays Dedicated to Brian Randell on the Occasion of His 75th BirthdaySpringer Berlin Heidelberg2011-01-01-
Object Orientation with Parallelism and PersistenceSpringer2011-10-31
Reflections on the Work of C.A.R. HoareSpringer2014-11-22
Understanding Programming LanguagesSpringer International Publishing AG2020-01-01-
Theories of ProgrammingThe Life and Works of Tony HoareMorgan & Claypool Publishers2021-01-01