AboutSign inJoin

Cliff B. Jones

About

Some information is missing for this author.

Books

Formal Specification and Software Development
Formal Specification and Software Development
Cliff B. Jones, Dines Bjørner
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods
John Fitzgerald, Peter Lucas, Cliff B. Jones
Reflections on the Work of C.A.R. Hoare
Reflections on the Work of C.A.R. Hoare
Cliff B. Jones, A.W. Roscoe, Kenneth R. Wood
Programming Concepts and Methods
Programming Concepts and Methods
M. Broy, Cliff B. Jones
Communicating Sequential Processes. The First 25 Years
Communicating Sequential Processes. The First 25 Years
Cliff B. Jones, Ali E. Abdallah, Jeff W. Sanders
Cliff B. Jones, Charles Antony Richard Hoare
Essays in Computing Science
Essays in Computing Science
Cliff B. Jones, Charles Antony Richard Hoare
Theoretical Aspects of Computing - ICTAC 2007
Theoretical Aspects of Computing - ICTAC 2007
Zhiming Liu, Cliff B. Jones
Formal Methods and Hybrid Real-Time Systems
Formal Methods and Hybrid Real-Time Systems
Zhiming Liu, Jim Woodcock, Cliff B. Jones
Dependable and Historic Computing
Dependable and Historic Computing
Cliff B. Jones, John L. Lloyd

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian