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