Hoppa till sidans huvudinnehåll

John Derrick – författare

Visar alla böcker från författaren John Derrick. Handla med fri frakt och snabb leverans.
11 produkter

Formal Methods for Open Object-based Distributed Systems

Volume 2

AvHoward Bowman,John Derrick

Inbunden, Engelska, 1997

2 849 kr

Skickas inom 10-15 vardagar

Formal Methods for Distributed Processing

A Survey of Object-Oriented Approaches

AvHoward Bowman,John Derrick

Häftad, Engelska, 2011

859 kr

Skickas inom 7-10 vardagar

Formal Methods for Distributed Processing

A Survey of Object-Oriented Approaches

AvHoward Bowman,John Derrick

Inbunden, Engelska, 2001

2 389 kr

Skickas inom 7-10 vardagar

Refinement in Z and Object-Z

Foundations and Advanced Applications

AvJohn Derrick,Eerke A. Boiten

Inbunden, Engelska, 2013

1 429 kr

Skickas inom 10-15 vardagar

Refinement in Z and Object-Z

Foundations and Advanced Applications

AvJohn Derrick,Eerke A. Boiten

Häftad, Engelska, 2015

1 429 kr

Skickas inom 10-15 vardagar

Refinement

Semantics, Languages and Applications

AvJohn Derrick,Eerke Boiten

Häftad, Engelska, 2019

719 kr

Skickas inom 10-15 vardagar

Refinement

Semantics, Languages and Applications

AvJohn Derrick,Eerke Boiten

Inbunden, Engelska, 2018

719 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

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

AvEerke Boiten,John Derrickm. fl.

Häftad, Engelska, 2004

719 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

AvJohn Derrick,Jüri Vain

Häftad, Engelska, 2007

719 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

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

AvJohn Derrick,Stefania Gnesim. fl.

Häftad, Engelska, 2012

719 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

AvJohn Derrick,John Fitzgeraldm. fl.

Häftad, Engelska, 2012

699 kr

Skickas inom 10-15 vardagar