C

Cliff B. Jones

17 books found

Books by Cliff B. Jones
Understanding Programming LanguagesCliff B. Jones
⏱ 4h 2m

Understanding Programming Languages

Cliff B. Jones

2020242 pp.
Systematic Software Development Using V. D. M.Cliff B. Jones
⏱ 5h 0m

Systematic Software Development Using V. D. M.

Cliff B. Jones

1986300 pp.
Theories of ProgrammingCliff B. Jones
⏱ 7h 30m

Theories of Programming

Cliff B. Jones

2021450 pp.
Dependable and Historic ComputingCliff B. Jones

Dependable and Historic Computing

Cliff B. Jones

2011No page data
Communicating sequential processesCliff B. Jones
⏱ 5h 21m

Communicating sequential processes

Cliff B. Jones

2005321 pp.
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

2011No page data
Development methods for computer programs including a notion of interferenceCliff B. Jones

Development methods for computer programs including a notion of interference

Cliff B. Jones

1981No page data
5th Refinement WorkshopRefinement Workshop (5th 1992 London, England)
⏱ 6h 22m

5th Refinement Workshop

Refinement Workshop (5th 1992 London, England)

1992382 pp.
Theoretical Aspects of Computing - ICTAC 2007Cliff B. Jones

Theoretical Aspects of Computing - ICTAC 2007

Cliff B. Jones

2007No page data
Theoretical Aspects of Computing - Ictac 2007Cliff B. Jones,Zhiming Liu,Jones Woodcock

Theoretical Aspects of Computing - Ictac 2007

Cliff B. Jones,Zhiming Liu,Jones Woodcock

2008No page data
Rigorous Development of Complex Fault-Tolerant SystemsMichael Butler

Rigorous Development of Complex Fault-Tolerant Systems

Michael Butler

2008No page data
Formal Methods and Hybrid Real-Time SystemsCliff B. Jones,Jim Woodcock,Zhiming Liu

Formal Methods and Hybrid Real-Time Systems

Cliff B. Jones,Jim Woodcock,Zhiming Liu

2008No page data
Reflections on the Work of C.A.R. HoareCliff B. Jones
⏱ 7h 24m

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

Cliff B. Jones

2014444 pp.
Methods, Models and Tools for Fault ToleranceMichael Butler

Methods, Models and Tools for Fault Tolerance

Michael Butler

2009No page data
Communicating Sequential Processes. the First 25 YearsAli E. Abdallah

Communicating Sequential Processes. the First 25 Years

Ali E. Abdallah

2005No page data
Communicating Sequential Processes. the First 25 YearsCliff B. Jones,Ali E. Abdallah,Jeff W. Sanders

Communicating Sequential Processes. the First 25 Years

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

2008No page data
Living History AnthologyMartha B. Katz-Hyman
⏱ 4h 4m

Living History Anthology

Martha B. Katz-Hyman

2018244 pp.