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.86
Also find
Used -
Refinement: Semantics, Languages and Applications
Derrick, John; Boiten, Eerke
Item prices starting from
View 27 offersUS$ 55.79
-
Refinement in Z and Object-Z: Foundations and Advanced Applications
Derrick, John; Boiten, Eerke A.
Item prices starting from
View 28 offersUS$ 104.09
-
Formal Methods for Open Object-based Distributed Systems: Volume 2 (IFIP Advances in Information and Communication Technology)
Item prices starting from
View 11 offersUS$ 147.93
