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: kindle
ASIN: B000UKAXVQ
Pages no: 486
Edition language: English
Bookstores:
Other editions (1)
Refinement in Z and Object-Z: Foundations and Advanced Applications (Formal Approaches to Computing and Information Technology (FACIT)) - John Derrick, Eerke A. Boiten
Books by John Derrick
Integrated Formal Methods: 4th International Conference, Ifm 2004, Canterbury, UK, April 4-7, 2004, Proceedings - Eerke Boiten, John Derrick, Graeme Smith
Integrated Formal Methods: 4th Internati... Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings (Lecture Notes in Computer Science) - Eerke Boiten, John Derrick, Graeme Smith
Formal Techniques For Networked And Distributed Systems Forte 2007: 27th Ifip Wg 6.1 International Conference, Tallinn, Estonia, June 27 29, 2007, Proceedings ... / Programming And Software Engineering) - John Derrick, Juri Vain
Boo to Billable Hours - John Derrick
Refinement in Z and Object-Z: Foundations and Advanced Applications - John Derrick, Eerke A. Boiten
Kauai - Mile by Mile Guide: The Best of the Garden Isle - John Derrick, Natasha Derrick
Formal Methods for Open Object-Based Distributed Systems: Volume 2 - Howard Bowman, John Derrick
Refinement in Z and Object-Z: Foundations and Advanced Applications (Formal Approaches to Computing and Information Technology (FACIT)) - John Derrick, Eerke A. Boiten
Hana Highway Mile by Mile - The Road to Hana and Beyond - John Derrick
Maui - Mile by Mile - John Derrick, Natasha A. Derrick, Natasha Derrick
Books by Eerke A. Boiten
Mathematics of Program Construction: 6th... Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings (Lecture Notes in Computer Science) - Eerke A. Boiten, Bernhard Mxf6ller
Refinement in Z and Object-Z: Foundations and Advanced Applications - John Derrick, Eerke A. Boiten
Refinement in Z and Object-Z: Foundations and Advanced Applications (Formal Approaches to Computing and Information Technology (FACIT)) - John Derrick, Eerke A. Boiten
Share this Book
Copyright © 2025 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.