Derek Andrews

No bio available. Add one in Open Library.

Books by Derek Andrews (50 max)

+ shelf+ list

Computing for non-scientific applications

1987

Derek Andrews

+ shelf+ list

Formal methods in standards: a report from the BCS Working Group

1990

C. L. N. Ruggles, Derek Andrews

+ shelf+ list

The Software life cycle

1990

Darrel C. Ince, Derek Andrews

+ shelf+ list

Practical formal methods with VDM

1991

Derek Andrews

+ shelf+ list

Semantics of Specification Languages (Sosl): Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlan (Communications and Control Engineering Series)

1994

Derek Andrews

+ shelf+ list

A theory and practice of program development

1997

Derek Andrews

+ shelf+ list

Accelerating Pace of Change to Our Troubled World

2014

Derek Andrews