Cliff B. Jones

Author detail

CB

13 featured books

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

Search this author Open first work

OL2656460A

Featured books

Representative editions for works actually authored by this person.

UP
Image source: Open Library
Understanding Programming Languages
Understanding Programming Languages | 2021
Representative edition for this work grouping in the active catalog.
cover
RO
Image source: Open Library
Reflections on the Work of C.A.R. Hoare
Reflections on the Work of C.A.R. Hoare | 2014
Representative edition for this work grouping in the active catalog.
cover
5R
Image source: Open Library
5th Refinement Workshop
5th Refinement Workshop | 2012
Representative edition for this work grouping in the active catalog.
cover
DA
Image source: Open Library
Dependable And Historic Computing Essays Dedicated To Brian Randell On The Occasion Of His 75th Birthday
Dependable And Historic Computing Essays Dedicated To Brian Randell On The Occasion Of His 75th Birthday | 2011
Representative edition for this work grouping in the active catalog.
cover
DA
Image source: Open Library
Dependable and Historic Computing
Dependable and Historic Computing | 2011
Representative edition for this work grouping in the active catalog.
cover
RD
Image source: Open Library
Rigorous Development of Complex Fault-Tolerant Systems
Rigorous Development of Complex Fault-Tolerant Systems | 2008
Representative edition for this work grouping in the active catalog.
cover
FM
Image source: Open Library
Formal methods and hybrid real-time systems
Formal methods and hybrid real-time systems | 2007
Representative edition for this work grouping in the active catalog.
cover
CS
Image source: Open Library
Communicating sequential processes
Communicating Sequential Processes. The First 25 Years | 2005
Representative edition for this work grouping in the active catalog.
cover
OO
Image source: Open Library
Object Orientation with Parallelism and Persistence
Object Orientation with Parallelism and Persistence | 1996
Representative edition for this work grouping in the active catalog.
cover
Theories of ProgrammingCliff B. Jones
TO
Theories of Programming
Theories of Programming | 2021
Representative edition for this work grouping in the active catalog.
no cover
Methods, Models and Tools for F...Cliff B. Jones
MM
Methods, Models and Tools for Fault Tolerance
Methods, Models and Tools for Fault Tolerance | 2009
Representative edition for this work grouping in the active catalog.
no cover
Communicating Sequential Proces...Cliff B. Jones
CS
Communicating Sequential Processes. the First 25 Years
Communicating Sequential Processes. the First 25 Years | 2005
Representative edition for this work grouping in the active catalog.
no cover
Systematic Software Development...Cliff B. Jones
SS
Systematic Software Development Using V. D. M.
Systematic Software Development Using V. D. M. (Prentice-Hall International series in computer science) | 1986
Representative edition for this work grouping in the active catalog.
no cover

Works in catalog

Quick navigation into the work-level grouping pages behind the featured books.

Understanding Programming Languages
Representative edition published 2021
Open Work
Reflections on the Work of C.A.R. Hoare
Representative edition published 2014
Open Work
5th Refinement Workshop
Representative edition published 2012
Open Work
Dependable And Historic Computing Essays Dedicated To Brian Randell On The Occasion Of His 75th Birthday
Representative edition published 2011
Open Work
Dependable and Historic Computing
Representative edition published 2011
Open Work
Rigorous Development of Complex Fault-Tolerant Systems
Representative edition published 2008
Open Work
Formal methods and hybrid real-time systems
Representative edition published 2007
Open Work
Communicating sequential processes
Representative edition published 2005
Open Work
Object Orientation with Parallelism and Persistence
Representative edition published 1996
Open Work
Theories of Programming
Representative edition published 2021
Open Work
Methods, Models and Tools for Fault Tolerance
Representative edition published 2009
Open Work
Communicating Sequential Processes. the First 25 Years
Representative edition published 2005
Open Work
Systematic Software Development Using V. D. M.
Representative edition published 1986
Open Work

Cliff B. Jones

Overview

Catalog identity

Featured books

Works in catalog