Jones, C. B.

Born: 1944

No bio available. Add one in Open Library.

Born: 1944

Books by Jones, C. B. (50 max)

+ shelf+ list

Systematic software development using VDM

1986

Jones, C. B.

+ shelf+ list

Formal methods and hybrid real-time systems: essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays

2007

D. Bjørner, Jones, C. B., Jim Woodcock

+ shelf+ list

The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science Number 61)

1978

D. Bjørner, Jones, C. B.

+ shelf+ list

The Vienna development method: the Meta-language

1978

D. Bjørner, Jones, C. B.

+ shelf+ list

The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science)

1978

D. Bjørner, Jones, C. B.

+ shelf+ list

Software development: a rigorous approach

1980

Jones, C. B.

+ shelf+ list

Case studies in systematic software development

1990

Jones, C. B., Roger C. F. Shaw

+ shelf+ list

Mural: a formal development support system

1991

Jones, C. B.

+ shelf+ list

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

2005

D. Besnard, Jones, C. B.

+ shelf+ list

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

2010

Jones, C. B., A. W. Roscoe, Kenneth B. Wood