John Derrick – författare

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

11 produkter

Kategorier

11 produkter

Formal Methods for Open Object-based Distributed Systems
Volume 2
AvHoward Bowman,John Derrick
Inbunden, Engelska, 1997
2 949 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
1 089 kr
Skickas inom 5-8 vardagar
Formal Methods for Distributed Processing
A Survey of Object-Oriented Approaches
AvHoward Bowman,John Derrick
Inbunden, Engelska, 2001
3 049 kr
Skickas inom 5-8 vardagar
Refinement in Z and Object-Z
Foundations and Advanced Applications
AvJohn Derrick,Eerke A. Boiten
Inbunden, Engelska, 2013
1 479 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 479 kr
Skickas inom 10-15 vardagar
Refinement
Semantics, Languages and Applications
AvJohn Derrick,Eerke Boiten
Häftad, Engelska, 2019
749 kr
Skickas inom 10-15 vardagar
Refinement
Semantics, Languages and Applications
AvJohn Derrick,Eerke Boiten
Inbunden, Engelska, 2018
749 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
749 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
749 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
749 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
729 kr
Skickas inom 10-15 vardagar