Author Search Results

1

Software development: a rigorous approach /

by Jones, Cliff B. 1939-.
Published 1980

Book

2

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

by Besnard, Denis., Besnard, Denis., Gacek, Cristina., Jones, Cliff.
Published 2006

Other Authors: “...Jones, Cliff....”
View full text

Electronic eBook

3

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /

Published 2014

Other Authors: “...Jones, Cliff....”
View full text

Electronic eBook

4

Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday /

Published 2011

Other Authors: “...Jones, Cliff B....”
View full text

Electronic eBook

5

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

Published 2007

Other Authors: “...Jones, Cliff B....”
View full text

Electronic eBook

6

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

Published 2007

Other Authors: “...Jones, Cliff B....”
View full text

Electronic eBook

7

Rigorous Development of Complex Fault-Tolerant Systems

Published 2006

Other Authors: “...Jones, Cliff....”
View full text

Electronic eBook

8

5th Refine Workshop : proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 /

Published 1992

Other Authors: “...Jones, Cliff B....”

Book

9

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 /

Published 2005

Other Authors: “...Jones, Cliff B....”
View full text

Electronic eBook

10

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

Published 2010

Other Authors: “...Jones, Cliff B....”
View full text

Electronic eBook

Related Subjects