logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Refinement in Z and Object-Z: Foundations and Advanced Applications (Formal Approaches to Computing and Information Technology (FACIT)) - John Derrick, Eerke A. Boiten
Refinement in Z and Object-Z: Foundations and Advanced Applications (Formal Approaches to Computing and Information Technology (FACIT))
by: (author) (author)
Format: paperback
ISBN: 9781852332457 (185233245X)
Publisher: Springer
Pages no: 466
Edition language: English
Bookstores:
Other editions (1)
Books by John Derrick
Books by Eerke A. Boiten
Share this Book
Need help?