Derek Andrews
· 7 obras en el catálogo
Obras

Formal methods in standards

The Software life cycle

Practical formal methods with VDM
1991
Semantics of Specification Languages (Sosl): Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlan (Communications and Control Engineering Series)
1994

A theory and practice of program development
1997

Computing for non-scientific applications
1987