Livros de Cliff B. Jones - BookPine

Theories of Programming: The Life and Works

Theories of Programming: The Life and Works

Jayadev Misra

Understanding Programming Languages

Understanding Programming Languages

Cliff B. Jones

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

Cliff B. Jones

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

Cliff B. Jones

Object Orientation with Parallelism and Persistence

Object Orientation with Parallelism and Persistence

Burkhard Freitag

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

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

Cliff B. Jones

Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

Michael Butler

Formal Methods and Hybrid Real-Time Systems

Formal Methods and Hybrid Real-Time Systems

Cliff B. Jones

Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

Zhiming Liu

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Cliff B. Jones

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Denis Besnard

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Ali E. Abdallah

Communicating Sequential Processes The First 25 Years: Symposium on the Occasion of 25 Years of CSP London, UK, July 7-8, 2004 Revised Invited Papers (Lecture ... UK, July 7-8, 2004. Revised Invited Papers

Communicating Sequential Processes The First 25 Years: Symposium on the Occasion of 25 Years of CSP London, UK, July 7-8, 2004 Revised Invited Papers (Lecture ... UK, July 7-8, 2004. Revised Invited Papers

Ali E. Abdallah

5th Refinement Workshop

5th Refinement Workshop

Cliff B. Jones

Mural: A Formal Development Support System

Mural: A Formal Development Support System

Cliff B. Jones

Case Studies in Systematic Software Development

Case Studies in Systematic Software Development

Cliff B. Jones

Systematic software development using VDM

Systematic software development using VDM

Cliff B. Jones

Essays in Computing Science

Essays in Computing Science

C.A.R. Hoare