Apple
Store
Mac
iPad
iPhone
Watch
AirPods
TV & Home
Entertainment
Accessories
Support
0
+
Apple Books
Preview
Local Nav Open Menu
Local Nav Close Menu
Top Books
Top Audiobooks
John Derrick
Books
Refinement
2018
Refinement in Z and Object-Z
2013
Formal Techniques for Networked and Distributed Systems - FORTE 2007
2007