Refinement in Z and Object-Z
Rate this book:
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Know this book?
Help other readers discover this title by sharing your thoughts. Be the first to write a review.
Share Your Thoughts
Sign in to write a review.
More by John Derrick
A handbook of new office techn
A handbook of new office technology
Abstract State Machines, Alloy, B, VDM, and Z
Formal Methods for Distributed Processing
Formal Techniques for Networke
Formal Techniques for Networked and Distributed Systems - FORTE 2007
Hana Highway Mile by Mile - th
Hana Highway Mile by Mile - the Road to Hana and Beyond
Micro- and mini-computers for
Micro- and mini-computers for business