Releases by John Derrick

In stock at iMusic Show unavailable items

Cover for John Derrick · Refinement: Semantics, Languages and Applications (Hardcover Book) [1st ed. 2018 edition] (2018)

1st ed. 2018 edition

Refinement: Semantics, Languages... (2018)

Cover for John Derrick · Refinement in Z and Object-Z: Foundations and Advanced Applications (Paperback Book) [Softcover reprint of the original 2nd ed. 2014 edition] (2015)

Softcover reprint of the original 2nd ed. 2014 edition

Refinement in Z and Object-Z: Fo... (2015)

Cover for John Derrick · Refinement in Z and Object-Z: Foundations and Advanced Applications (Hardcover Book) [2nd ed. 2014 edition] (2013)

2nd ed. 2014 edition

Refinement in Z and Object-Z: Fo... (2013)

Cover for John Derrick · Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2012 edition] (2012)

Abstract State Machines, Alloy, ... (2012)

Cover for John Derrick · Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2007 edition] (2007)

Formal Techniques for Networked ... (2007)