Formal Methods for Distributed Processing
2 hrs read
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 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
Refinement in Z and Object-Z