Hoppa till sidans huvudinnehåll

John Derrick - Böcker

Visar alla böcker från författaren John Derrick.
11 produkter

Formal Methods for Open Object-based Distributed Systems

Volume 2

Av Howard Bowman, John Derrick

Inbunden, Engelska, 1997

2 719 kr

Skickas inom 10-15 vardagar

Formal Methods for Distributed Processing

A Survey of Object-Oriented Approaches

Av Howard Bowman, John Derrick m. fl

Häftad, Engelska, 2011

839 kr

Skickas inom 10-15 vardagar

Formal Methods for Distributed Processing

A Survey of Object-Oriented Approaches

Av Howard Bowman, John Derrick m. fl

Inbunden, Engelska, 2001

2 359 kr

Skickas inom 10-15 vardagar

Refinement in Z and Object-Z

Foundations and Advanced Applications

Av John Derrick, Eerke A. Boiten

Inbunden, Engelska, 2013

1 439 kr

Skickas inom 10-15 vardagar

Refinement in Z and Object-Z

Foundations and Advanced Applications

Av John Derrick, Eerke A. Boiten

Häftad, Engelska, 2015

1 439 kr

Skickas inom 10-15 vardagar

Refinement

Semantics, Languages and Applications

Av John Derrick, Eerke Boiten

Häftad, Engelska, 2019

719 kr

Skickas inom 10-15 vardagar

Refinement

Semantics, Languages and Applications

Av John Derrick, Eerke Boiten

Inbunden, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings

Av Eerke Boiten, John Derrick m. fl

Häftad, Engelska, 2004

729 kr

Skickas inom 10-15 vardagar

Formal Techniques for Networked and Distributed Systems - FORTE 2007

27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings

Av John Derrick, Jüri Vain m. fl

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

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

Av John Derrick, Stefania Gnesi m. fl

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar

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

Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Av John Derrick, John Fitzgerald m. fl

Häftad, Engelska, 2012

699 kr

Skickas inom 10-15 vardagar