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 Papers

Springer London, Limited2005-01-01
Theoretical Aspects of Computing - ICTAC 20074th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

Springer 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 Birthdays

Springer London, Limited2007-01-01
Methods, Models and Tools for Fault Tolerance

Springer London, Limited2009-01-01
Dependable and Historic ComputingEssays Dedicated to Brian Randell on the Occasion of His 75th Birthday

Springer Berlin Heidelberg2011-01-01
Object Orientation with Parallelism and Persistence

Springer2011-10-31
Reflections on the Work of C.A.R. Hoare

Springer2014-11-22
Understanding Programming Languages

Springer International Publishing AG2020-01-01
Theories of ProgrammingThe Life and Works of Tony Hoare

Morgan & Claypool Publishers2021-01-01