Refinement in Z and Object-Z - Info and Reading Options
Foundations and Advanced Applications (Formal Approaches to Computing and Information Technology (FACIT))
By John Derrick and Eerke A. Boiten
"Refinement in Z and Object-Z" is published by Springer in June 8, 2001, it has 466 pages and the language of the book is English.
“Refinement in Z and Object-Z” Metadata:
- Title: Refinement in Z and Object-Z
- Authors: John DerrickEerke A. Boiten
- Language: English
- Number of Pages: 466
- Publisher: Springer
- Publish Date: June 8, 2001
“Refinement in Z and Object-Z” Subjects and Themes:
Edition Specifications:
- Format: Paperback
- Weight: 1.8 pounds
- Dimensions: 9.1 x 5.9 x 1.2 inches
Edition Identifiers:
- The Open Library ID: OL9392279M - OL18738908W
- Library of Congress Control Number (LCCN): 2001020204
- ISBN-13: 9781852332457
- ISBN-10: 185233245X
- All ISBNs: 185233245X - 9781852332457
AI-generated Review of “Refinement in Z and Object-Z”:
Snippets and Summary:
Z is a formal specification language.
Read “Refinement in Z and Object-Z”:
Read “Refinement in Z and Object-Z” by choosing from the options below.
Search for “Refinement in Z and Object-Z” downloads:
Visit our Downloads Search page to see if downloads are available.
Borrow "Refinement in Z and Object-Z" Online:
Check on the availability of online borrowing. Please note that online borrowing has copyright-based limitations and that the quality of ebooks may vary.
- Is Online Borrowing Available: Yes
- Preview Status: borrow
- Check if available: The Open Library & The Internet Archive
Find “Refinement in Z and Object-Z” in Libraries Near You:
Read or borrow “Refinement in Z and Object-Z” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Refinement in Z and Object-Z” at a library near you.
Buy “Refinement in Z and Object-Z” online:
Shop for “Refinement in Z and Object-Z” on popular online marketplaces.
- Ebay: New and used books.