John Derrick

JD

17 featured booksJohn Derrick

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

Search this author Open first work

OL1212329A

Featured books

Representative editions for works actually authored by this person.

R
Image source: Open Library
Refinement
Refinement | 2019
Representative edition for this work grouping in the active catalog.
cover
RI
Image source: Open Library
Refinement in Z and ObjectZ
Refinement in Z and ObjectZ | 2013
Representative edition for this work grouping in the active catalog.
cover
RI
Image source: Open Library
Refinement in Z and Object-Z
Refinement in Z and Object-Z | 2012
Representative edition for this work grouping in the active catalog.
cover
AS
Image source: Open Library
Abstract State Machines, Alloy, B, VDM, and Z
Abstract State Machines, Alloy, B, VDM, and Z | 2012
Representative edition for this work grouping in the active catalog.
cover
IF
Image source: Open Library
Integrated Formal Methods
Integrated Formal Methods | 2012
Representative edition for this work grouping in the active catalog.
cover
IF
Image source: Open Library
Integrated formal methods
Integrated Formal Methods | 2004
Representative edition for this work grouping in the active catalog.
cover
RI
Image source: Open Library
Refinement in Z and Object-Z
Refinement in Z and Object-Z | 2001
Representative edition for this work grouping in the active catalog.
cover
FM
Image source: Open Library
Formal methods for open object-based distributed systems
Formal Methods for Open Object-based Distributed Systems - Volume 2 | 1997
Representative edition for this work grouping in the active catalog.
cover
TO
Image source: Open Library
The Office Equipment Adviser
The Office Equipment Adviser | 1995
Representative edition for this work grouping in the active catalog.
cover
TW
Image source: Open Library
The word processing handbook
The word processing handbook | 1984
Representative edition for this work grouping in the active catalog.
cover
Formal Methods for Distributed...John Derrick
FM
Formal Methods for Distributed Processing
Formal Methods for Distributed Processing | 2021
Representative edition for this work grouping in the active catalog.
no cover
Hana Highway Mile by Mile - the...John Derrick
HH
Hana Highway Mile by Mile - the Road to Hana and Beyond
Hana Highway Mile by Mile - the Road to Hana and Beyond | 2010
Representative edition for this work grouping in the active catalog.
no cover
Handbook of New Office TechnologyJohn Derrick
HO
A handbook of new office technology
Handbook of New Office Technology | 1986
Representative edition for this work grouping in the active catalog.
no cover
Telecommunications, a businessm...John Derrick
TA
Telecommunications, a businessman's guide
Telecommunications, a businessman's guide | 1983
Representative edition for this work grouping in the active catalog.
no cover
What to Buy for BusinessJohn Derrick
WT
What to buy for business
What to Buy for Business | 1982
Representative edition for this work grouping in the active catalog.
no cover
Micro- and mini-computers for b...John Derrick
MA
Micro- and mini-computers for business
Micro- and mini-computers for business | 1982
Representative edition for this work grouping in the active catalog.
no cover
New office technologyJohn Derrick
NO
New office technology
New office technology | 1982
Representative edition for this work grouping in the active catalog.
no cover

Works in catalog

Quick navigation into the work-level grouping pages behind the featured books.

Refinement
Representative edition published 2019
Open Work
Refinement in Z and ObjectZ
Representative edition published 2013
Open Work
Refinement in Z and Object-Z
Representative edition published 2012
Open Work
Abstract State Machines, Alloy, B, VDM, and Z
Representative edition published 2012
Open Work
Integrated Formal Methods
Representative edition published 2012
Open Work
Integrated formal methods
Representative edition published 2004
Open Work
Refinement in Z and Object-Z
Representative edition published 2001
Open Work
Formal methods for open object-based distributed systems
Representative edition published 1997
Open Work
The Office Equipment Adviser
Representative edition published 1995
Open Work
The word processing handbook
Representative edition published 1984
Open Work
Formal Methods for Distributed Processing
Representative edition published 2021
Open Work
Hana Highway Mile by Mile - the Road to Hana and Beyond
Representative edition published 2010
Open Work
A handbook of new office technology
Representative edition published 1986
Open Work
Telecommunications, a businessman's guide
Representative edition published 1983
Open Work
What to buy for business
Representative edition published 1982
Open Work
Micro- and mini-computers for business
Representative edition published 1982
Open Work
New office technology
Representative edition published 1982
Open Work

John Derrick

Overview

Catalog identity

Featured books

Works in catalog