Andrews, Derek.
Andrews, D. (Derek)
Andrews, Derek (Derek John)
VIAF ID: 15425122 ( Personal )
Permalink: http://viaf.org/viaf/15425122
Preferred Forms
- 200 _ | ‡a Andrews ‡b Derek
- 100 1 _ ‡a Andrews, D. ‡q (Derek)
-
- 100 1 _ ‡a Andrews, Derek
- 100 1 _ ‡a Andrews, Derek
-
- 100 1 _ ‡a Andrews, Derek
- 100 1 _ ‡a Andrews, Derek
-
-
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
Computing for non-scientific applications | |
Formal Methods in Standards A Report from the BCS Working Group | |
Formal specification and software development | |
Practical formal methods with VDM | |
Semantics of Specification Languages (SoSL) Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 – 27 October 1993 | |
A short guide to Prickwillow, c1992: | |
software life style | |
theory and practice of program development |