Abstract State Machines, Alloy, B, VDM, and Z
Rate this book:
Buy This Book
Amazon
Ebook
→
Bookshop.org
Supports indie bookshops
→
Apple Books
Ebook
→
Open Library
Borrow
Free to borrow
→
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
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
Refinement in Z and Object-Z