Jones, C. B.

Jones, C. B.

1944

1 books in the database

Books

Reflections on the work of C.A.R. HoareJones, C. B.

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

Jones, C. B. · 2010

Co-authored books and collections

Books that list Jones, C. B. among their authors but not as the lead author: co-written works, collections and compilations.

Structure for dependabilityD. Besnard

Structure for dependability

D. Besnard · 2005

Formal methods and hybrid real-time systemsD. Bjørner

Formal methods and hybrid real-time systems

D. Bjørner · 2007

The Vienna development methodD. Bjørner

The Vienna development method

D. Bjørner · 1978

The Vienna development methodD. Bjørner

The Vienna development method

D. Bjørner · 1978