John Derrick | lit.salon

Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

John Derrick | lit.salon

John Derrick

No bio available. Add one in Open Library.

Books by John Derrick (50 max)

The Office Equipment Adviser

1993

Refinement in Z and Object-Z: Foundations and Advanced Applications (Formal Approaches to Computing and Information Technology (FACIT))

2001

John Derrick, Eerke A. Boiten

What to buy for business: a handbook of new office technology

1982

A handbook of new office technology

1982

The word processing handbook

1984

Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings (Lecture Notes in Computer Science)

2004

Eerke Boiten, John Derrick, Graeme Smith

Formal Methods for Distributed Processing A Survey of Object-Oriented Approaches

2011

Howard Bowman, John Derrick

Refinement Semantics, Languages and Applications

2018

John Derrick, Eerke Boiten

Micro- and mini-computers for business: a buyer's guide.

1982

New office technology: a buyer's guide.

1982

Telecommunications, a businessman's guide

1983

The word processing handbook

1984

Refinement in Z and Object-Z Foundations and Advanced Applications

2001

John Derrick, Eerke A. Boiten

Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6. 1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings

2007

John Derrick, Jüri Vain

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

2010

Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

2012

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

2012

Refinement in Z and ObjectZ

2013