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.69
Also find
Used -
Formal Methods for Open Object-based Distributed Systems: Volume 2 (IFIP Advances in Information and Communication Technology)
Item prices starting from
View 9 offersUS$ 51.73
-
Refinement: Semantics, Languages and Applications
Derrick, John; Boiten, Eerke
Item prices starting from
View 15 offersUS$ 69.42
-
Refinement in Z and Object-Z: Foundations and Advanced Applications
Derrick, John; Boiten, Eerke A.
Item prices starting from
View 12 offersUS$ 130.55
