John Derrick – författare
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, 1997
2889 kr
Lägg i varukorg
Formal Methods for Distributed Processing
A Survey of Object-Oriented Approaches
Av Howard Bowman, John Derrick
Häftad, 2011
1109 kr
Lägg i varukorg
Formal Methods for Distributed Processing
A Survey of Object-Oriented Approaches
Av Howard Bowman, John Derrick
Inbunden, 2001
3099 kr
Lägg i varukorg
Refinement in Z and Object-Z
Foundations and Advanced Applications
Av John Derrick, Eerke A. Boiten
Inbunden, 2013
1449 kr
Lägg i varukorg
Refinement in Z and Object-Z
Foundations and Advanced Applications
Av John Derrick, Eerke A. Boiten
Häftad, 2015
1449 kr
Lägg i varukorg
Integrated Formal Methods
4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
Av Eerke Boiten, John Derrick m. fl.
Häftad, 2004
729 kr
Lägg i varukorg
Formal Techniques for Networked and Distributed Systems - FORTE 2007
27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
Häftad, 2007
729 kr
Lägg i varukorg
Integrated Formal Methods
9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Av John Derrick, Stefania Gnesi m. fl.
Häftad, 2012
729 kr
Lägg i varukorg
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, 2012
709 kr
Lägg i varukorg