Derek Andrews
Books
- The Software life cycle
- Computing for non-scientific applications
- Semantics of Specification Languages (Sosl): Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlan (Communications and Control Engineering Series)
- Formal methods in standards
- Practical formal methods with VDM
- Accelerating Pace of Change to Our Troubled World
- A theory and practice of program development
Author data: Open Library