John Derrick
Popular items by John Derrick
View all offers-
Refinement in Z and Object-Z: Foundations and Advanced Applications
Derrick, John; Boiten, Eerke A.
Item prices starting from
View 4 offersUS$ 27.71
Also find
Used -
Refinement: Semantics, Languages and Applications
Derrick, John; Boiten, Eerke
Item prices starting from
View 31 offersUS$ 55.24
-
Refinement in Z and Object-Z: Foundations and Advanced Applications
Derrick, John; Boiten, Eerke A.
Item prices starting from
View 31 offersUS$ 103.07
-
Formal Methods for Open Object-based Distributed Systems: Volume 2 (IFIP Advances in Information and Communication Technology)
Item prices starting from
View 13 offersUS$ 144.86
