Search - List of Books by Cliff Jones

This page refers to the British computer scientist. For other persons named Cliff Jones, see Cliff Jones .


Clifford "Cliff" B. Jones (born 1 June 1944) is a British computer scientist, specializing in research into formal methods. He undertook a late DPhil at the Oxford University Computing Laboratory under Tony Hoare, awarded in 1981. He also worked with Dines Bjørner and others on the Vienna Development Method (VDM) at IBM in Vienna.

He was a professor at the University of Manchester, worked in industry at Harlequin for a period, and is now a Professor of Computing Science at Newcastle University. He is Editor-in-Chief of the Formal Aspects of Computing journal.

As well as formal methods, he also has interests in interdisciplinary aspects of computer science and the history of computer science.

Books   more �

This author page uses material from the Wikipedia article "Cliff Jones", which is released under the Creative Commons Attribution-Share-Alike License 3.0
Total Books: 9
Structure for Dependability Computer-Based Systems from an Interdisciplinary Perspective
Another Brick In The Wall
2000 - Another Brick in the Wall (Paperback)
ISBN-13: 9781858688497
ISBN-10: 1858688493
Genres: Biographies & Memoirs, Humor & Entertainment
  ?

Another Brick in the Wall  The Stories Behind Every Pink Floyd Song
1997 - Another Brick in the Wall the Stories Behind Every Pink Floyd Song (Paperback)
ISBN-13: 9780553067330
ISBN-10: 0553067338
Genre: Humor & Entertainment
  • Currently 5/5 Stars.
 1

Echoes the Stories Behind Every Pink Floyd Song
1996 - Echoes the Stories Behind Every Pink Floyd Song (Paperback)
ISBN-13: 9780711955714
ISBN-10: 0711955719
  ?

Winning Thrgh Integ
1986 - Winning Thrgh Integ (Paperback)Paperback, Hardcover, Audio Cassette
ISBN-13: 9780345337344
ISBN-10: 0345337344
Genre: Business & Money
  • Currently 4.5/5 Stars.
 1

Lust for Life The Iggy Pop Story
Lust for Life the Iggy Pop Story (Hardcover)
ISBN-13: 9780752208992
ISBN-10: 0752208993
  ?

Another Brick in the Wall
Another Brick in the Wall [The Stories Behind Every Pink Floyd Song] (Paperback)
ISBN-13: 9781847321060
ISBN-10: 1847321062
  • Currently 5/5 Stars.
 1