An edition of Refinement in Z and Object-Z
(2001)
Refinement in Z and Object-Z
Foundations and Advanced Applications (Formal Approaches to Computing and Information Technology (FACIT))
1 edition
by John Derrick and Eerke A. Boiten
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 4 featured editions. View all 4 editions?
| Edition | Availability |
|---|---|
1
Refinement in Z and Object-Z: Foundations and Advanced Applications
2015, Springer London, Limited
in English
144716167X 9781447161677
|
zzzz
Libraries near you:
WorldCat
|
|
2
Refinement in Z and Object-Z: Foundations and Advanced Applications
2013, Springer London, Limited
in English
1447153553 9781447153559
|
zzzz
Libraries near you:
WorldCat
|
3
Refinement in Z and Object-Z: Foundations and Advanced Applications
Nov 27, 2012, Springer
paperback
1447102584 9781447102588
|
zzzz
Libraries near you:
WorldCat
|
4
Refinement in Z and Object-Z: Foundations and Advanced Applications (Formal Approaches to Computing and Information Technology (FACIT))
June 8, 2001, Springer
Paperback
in English
- 1 edition
185233245X 9781852332457
|
aaaa
Libraries near you:
WorldCat
|
Book Details
First Sentence
"Z is a formal specification language."
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| February 12, 2019 | Created by MARC Bot | import existing book |