John Derrick
Books
- Formal Techniques for Networked and Distributed Systems - FORTE 2007
- Refinement in Z and Object-Z
- Refinement
- The word processing handbook
- What to buy for business
- Formal Methods for Distributed Processing
- Abstract State Machines, Alloy, B, VDM, and Z
- Refinement in Z and ObjectZ
- The word processing handbook
- Hana Highway Mile by Mile - the Road to Hana and Beyond
- Integrated formal methods
- Telecommunications, a businessman's guide
- A handbook of new office technology
- The Office Equipment Adviser
- Uusinta toimistotekniikkaa
- New office technology
- Refinement in Z and Object-Z
- Integrated Formal Methods
- Micro- and mini-computers for business
Author data: Open Library