MPG.eBooks - Author Search Results

Cover Image

1

Understanding Programming Languages

by Jones, Cliff B.
Published 2020

Springer International Publishing

Cover Image

2

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

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

Springer London

Cover Image

3

Object Orientation with Parallelism and Persistence

by Freitag, Burkhard, Jones, Cliff B., Lengauer, Christian, Schek, Hans-Jörg
Published 1996

Springer US

Cover Image

4

The Vienna Development Method: The Meta-Language

by Bjørner, Dines
Published 1978

Springer

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

Cover Image

5

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceed...

by Fitzgerald, John
Published 1997

Springer Berlin Heidelberg

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

Cover Image

6

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

Published 2014

Springer International Publishing

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

Cover Image

7

Symposium on Real-Time and Hybrid Systems : Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Published 2018

Springer International Publishing

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

Cover Image

8

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

Published 2011

Springer Berlin Heidelberg

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

Cover Image

9

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

Springer Berlin Heidelberg

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

Cover Image

10

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

Published 2007

Springer Berlin Heidelberg

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

Cover Image

11

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceed...

Published 1997

Springer Berlin Heidelberg

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

Cover Image

12

VDM '87 VDM — A Formal Method at Work : VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

by Bjørner, Dines
Published 1987

Springer

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

Cover Image

13

Rigorous Development of Complex Fault-Tolerant Systems

Published 2006

Springer Berlin Heidelberg

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

Cover Image

14

5th Refinement Workshop : Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992

Published 1992

Springer London

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

Cover Image

15

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

Springer Berlin Heidelberg

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

Cover Image

16

Methods, Models and Tools for Fault Tolerance

Published 2009

Springer Berlin Heidelberg

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

Cover Image

17

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

Published 2010

Springer London

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

Cover Image

18

VDM '87. VDM - A Formal Method at Work : VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

Published 1987

Springer Berlin Heidelberg

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