Overview

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. 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.

Full Product Details

9786137451304

Table of Contents

Reviews

Author Information

Tab Content 6

Customer Reviews

Recent Reviews

Countries Available