Home Advanced Search

Advanced Search - Page 1

Reflections on the Work of C.A.R. Hoare
  • PDF
  • English
  • Year: 2010
  • Author: C. B. Jones, A. W. Roscoe (auth.), A.W. Roscoe, Cliff B. Jones, Kenneth R. Wood (eds.)
Reflections on the Work of C.A.R. Hoare
  • PDF
  • English
  • Year: 2010
  • Author: C. B. Jones, A. W. Roscoe (auth.), A.W. Roscoe, Cliff B. Jones, Kenneth R. Wood (eds.)
Understanding Concurrent Systems
  • PDF
  • English
  • Year: 2010
  • Author: A.W. Roscoe
Understanding Programming Languages
  • PDF
  • English
  • Year: 2021
  • Author: Cliff B. Jones
Understanding Programming Languages
  • PDF
  • English
  • Year: 2020
  • Author: Cliff B. Jones
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
  • PDF
  • English
  • Year: 2006
  • Author: Cliff B Jones, Brian Randell (auth.), Denis Besnard, Cristina Gacek, Cliff B. Jones (eds.)
Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Cliff B Jones (auth.), Hanne Riis Nielson (eds.)
Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Cliff B Jones (auth.), Hanne Riis Nielson (eds.)
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
  • PDF
  • English
  • Year: 2005
  • Author: Stephen Brookes (auth.), Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.)
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
  • PDF
  • English
  • Year: 2005
  • Author: Stephen Brookes (auth.), Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.)
search