Jones, C. B.

Jones, C. B.

1944

1 ספרים במאגר

ספרים

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

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

Jones, C. B. · 2010

ספרים משותפים ואוספים

ספרים שבהם Jones, C. B. מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

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