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