An edition of Z
(1990)
Z
an introduction to formal methods
2nd ed.
by Antoni Diller
- 5 Want to read
Share
×Close
This tutorial introduction to Z takes as its starting point the practical uses of this formal specification language. Case studies are used throughout the text to illustrate all aspects of Z. This edition includes new information on how to relate Z specifications to actual program codes.
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
Z: an introduction to formal methods
1994, Wiley & Sons
in English
- 2nd ed.
0471939730 9780471939733
|
aaaa
|
2
Z: An Introduction to Formal Methods, 2nd Edition
June 16, 1994, Wiley
Paperback
in English
- 2 Sub edition
0471939730 9780471939733
|
zzzz
|
3
|
zzzz
|
Book Details
Edition Notes
Includes bibliographical references (p. 357-362) and index.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Source records
First Sentence
"Z is a language, but knowing this does not tell you very much about it because there are many different kinds of language, such as natural language and programming language."
Community Reviews (0)
Lists
| October 23, 2025 | Edited by MARC Bot | import existing book |
| July 17, 2024 | Edited by MARC Bot | import existing book |
| October 18, 2022 | Edited by ImportBot | import existing book |
| September 15, 2021 | Edited by ImportBot | import existing book |
| December 9, 2009 | Created by WorkBot | add works page |