Books by John Derrick
Refinement in Z and ObjectZ
Abstract State Machines, Alloy, B, VDM, and Z
Formal Methods for Distributed Processing
Hana Highway Mile by Mile - th
Hana Highway Mile by Mile - the Road to Hana and Beyond
Formal Techniques for Networke
Formal Techniques for Networked and Distributed Systems - FORTE 2007
Refinement in Z and Object-Z
The Office Equipment Adviser
A handbook of new office techn
A handbook of new office technology
Telecommunications, a business
Telecommunications, a businessman's guide
Micro- and mini-computers for
Micro- and mini-computers for business
What to buy for business
What to buy for business