John Derrick

· 18 obras en el catálogo

Obras

AA handbook of new office technology

A handbook of new office technology

WWhat to buy for business

What to buy for business

The word processing handbook

The Office Equipment Adviser

Refinement in Z and ObjectZ

TThe word processing handbook

The word processing handbook

Integrated formal methods

Refinement in Z and Object-Z

MMicro- and mini-computers for business

Micro- and mini-computers for business

TTelecommunications, a businessman's guide

Telecommunications, a businessman's guide

NNew office technology

New office technology

Abstract State Machines, Alloy, B, VDM, and Z

Integrated Formal Methods

Refinement in Z and Object-Z

Refinement

FFormal Methods for Distributed Processing

Formal Methods for Distributed Processing

FFormal Techniques for Networked and Distributed Systems - FO

Formal Techniques for Networked and Distributed Systems - FORTE 2007

HHana Highway Mile by Mile - the Road to Hana and Beyond

Hana Highway Mile by Mile - the Road to Hana and Beyond