John Derrick
Identifiers
- Open LibraryOL1212329A
Top Subjects
- Software engineering (3)
- Logic design (2)
- Electronic data processing, distributed processing (2)
- Office management (1)
- Office practice -- Automation (1)
- Business -- Data processing (1)
- Electronic office machines (1)
Books by John Derrick
Total count: 16
-
A handbook of new office technologyKogan Page1982-01-01
-
Micro- and mini-computers for businessa buyer's guide.Kogan Page1982-01-01
-
What to buy for businessa handbook of new office technologyCentury1982-01-01
-
New office technologya buyer's guide.Kogan Page1982-01-01
-
Telecommunications, a businessman's guideKogan Page1983-01-01
-
The word processing handbookKogan Page1984-01-01
-
The word processing handbookKogan Page1984-01-01
-
The office equipment adviserWhat to Buy for Business1993-01-01
-
Formal Methods for Open Object-based Distributed SystemsVolume 2Springer1998-07-14
Refinement in Z and Object-ZFoundations and Advanced Applications (Formal Approaches to Computing and Information Technology (FACIT))1 editionSpringer2001-06-08-
Integrated Formal Methods4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, ProceedingsSpringer London, Limited2004-01-01
-
Formal Techniques for Networked and Distributed Systems - FORTE 200727th IFIP WG 6. 1 International Conference, Tallinn, Estonia, June 27-29, 2007, ProceedingsSpringer London, Limited2007-01-01
-
Hana Highway Mile by Mile - the Road to Hana and BeyondLulu Press, Inc.2010-01-01
-
Formal Methods for Distributed ProcessingA Survey of Object-Oriented ApproachesCambridge University Press2011-01-01
Integrated Formal Methods9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. ProceedingsSpringer Berlin Heidelberg2012-01-01-
RefinementSemantics, Languages and ApplicationsSpringer International Publishing AG2018-01-01