John Derrick
Popular items by John Derrick
View all offers-
Refinement in Z and Object-Z: Foundations and Advanced Applications (Formal Approaches to Computing and Information Technology (FACIT))
Derrick, John; Boiten, Eerke A.
Item prices starting from
View 4 offersUS$ 27.62
Also find
Used -
Refinement: Semantics, Languages and Applications
Derrick, John; Boiten, Eerke
Item prices starting from
View 14 offersUS$ 55.99
-
Refinement in Z and Object-Z: Foundations and Advanced Applications
Derrick, John; Boiten, Eerke A.
Item prices starting from
View 12 offersUS$ 104.46
-
Formal Methods for Open Object-based Distributed Systems: Volume 2 (IFIP Advances in Information and Communication Technology)
Item prices starting from
View 9 offersUS$ 145.85
