Hoppa till sidans huvudinnehåll

John Derrick – författare

Visar alla böcker från författaren .
11 produkter
Howard Bowman, John Derrick - Formal Methods for Open Object-based Distributed Systems, Inbunden

Formal Methods for Open Object-based Distributed Systems

Volume 2

AvHoward Bowman,John Derrick

Inbunden, Engelska, 1997

2 869 kr

Skickas inom 10-15 vardagar

Howard Bowman, John Derrick - Formal Methods for Distributed Processing, Häftad

Formal Methods for Distributed Processing

A Survey of Object-Oriented Approaches

AvHoward Bowman,John Derrick

Häftad, Engelska, 2011

909 kr

Skickas inom 7-10 vardagar

Howard Bowman, John Derrick - Formal Methods for Distributed Processing, Inbunden

Formal Methods for Distributed Processing

A Survey of Object-Oriented Approaches

AvHoward Bowman,John Derrick

Inbunden, Engelska, 2001

2 569 kr

Skickas inom 7-10 vardagar

John Derrick, Eerke A. Boiten - Refinement in Z and Object-Z, Inbunden

Refinement in Z and Object-Z

Foundations and Advanced Applications

AvJohn Derrick,Eerke A. Boiten

Inbunden, Engelska, 2013

1 439 kr

Skickas inom 10-15 vardagar

John Derrick, Eerke A. Boiten - Refinement in Z and Object-Z, Häftad

Refinement in Z and Object-Z

Foundations and Advanced Applications

AvJohn Derrick,Eerke A. Boiten

Häftad, Engelska, 2015

1 439 kr

Skickas inom 10-15 vardagar

John Derrick, Eerke Boiten - Refinement, Häftad

Refinement

Semantics, Languages and Applications

AvJohn Derrick,Eerke Boiten

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

John Derrick, Eerke Boiten - Refinement, Inbunden

Refinement

Semantics, Languages and Applications

AvJohn Derrick,Eerke Boiten

Inbunden, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

Eerke Boiten, John Derrick, Graeme Smith - Integrated Formal Methods, Häftad

Integrated Formal Methods

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

AvEerke Boiten,John Derrickm. fl.

Häftad, Engelska, 2004

729 kr

Skickas inom 10-15 vardagar

John Derrick, Jüri Vain - Formal Techniques for Networked and Distributed Systems - FORTE 2007, Häftad

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

729 kr

Skickas inom 10-15 vardagar

John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne - Integrated Formal Methods, Häftad

Integrated Formal Methods

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

AvJohn Derrick,Stefania Gnesim. fl.

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar

John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene - Abstract State Machines, Alloy, B, VDM, and Z, Häftad

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

709 kr

Skickas inom 10-15 vardagar