Items related to Understanding Z: A Specification Language and its Formal...
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3) - Hardcover
Synopsis
By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications. It makes a detailed theoretical comparison between schemas, the Z construct for breaking specifications into modules, and the analogous facilities in other languages such as CLEAR and ASL. The final chapter contains a number of studies in Z style, showing that Z can be used for a wide variety of specification tasks.
"synopsis" may belong to another edition of this title.
Book Description
The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications.
Review
"The book is very well written and accurate, and the graphics are good." Computing Reviews
"The reader finds a well written book on a special rather technical topic...As such it is valuable for those who seek to understand the language Z in more detail..." Zentralblatt fur Mathematik
"About this title" may belong to another edition of this title.
- PublisherCambridge University Press
- Publication date1988
- ISBN 10 0521334292
- ISBN 13 9780521334297
- BindingHardcover
- LanguageEnglish
- Number of pages144
Search results for Understanding Z: A Specification Language and its Formal...
Stock Image
Understanding Z : A Specification Language and Its Formal Semantics
Published by
Cambridge University Press, 1988
ISBN 10: 0521334292
ISBN 13: 9780521334297
Used
Hardcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # 50483536-6
Quantity: 1 available
Stock Image
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Published by
Cambridge University Press, 1988
ISBN 10: 0521334292
ISBN 13: 9780521334297
Used
Hardcover
Seller: BookHolders, Towson, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. [ No Hassle 30 Day Returns ][ Ships Daily ] [ Underlining/Highlighting: NONE ] [ Writing: NONE ] [ Edition: Reprint ] Publisher: Cambridge University Press Pub Date: 4/28/1998 Binding: Hardcover Pages: 144 Reprint edition. Seller Inventory # 6897838
Quantity: 1 available
Stock Image
Understanding Z: A Specification Language and Its Formal Semantics
Published by
Cambridge University Press, 1988
ISBN 10: 0521334292
ISBN 13: 9780521334297
Used
Hardcover
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less 0.9. Seller Inventory # G0521334292I2N00
Quantity: 1 available
Stock Image
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Published by
Cambridge University Press, 1988
ISBN 10: 0521334292
ISBN 13: 9780521334297
Used
Hardcover
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR005050283
Quantity: 1 available
Stock Image
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science)
Published by
Cambridge University Press, 1988
ISBN 10: 0521334292
ISBN 13: 9780521334297
Used
Hardcover
Seller: Reuseabook, Gloucester, GLOS, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Used; Very Good. Dispatched, from the UK, within 48 hours of ordering. Though second-hand, the book is still in very good shape. Minimal signs of usage may include very minor creasing on the cover or on the spine. Seller Inventory # CHL2132199
Quantity: 1 available
Stock Image
Understanding Z: A Specification Language and its Formal Semantics
Published by
Cambridge University Press, 1988
ISBN 10: 0521334292
ISBN 13: 9780521334297
Used
Hardcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1988. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1988. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-840-479
Quantity: 1 available
Stock Image
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)"
Published by
Cambridge University Press, 1988
ISBN 10: 0521334292
ISBN 13: 9780521334297
New
Hardcover
Seller: BooksByLisa, Highland Park, IL, U.S.A.
Seller rating 4 out of 5 stars
Hardcover. Condition: New. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; . PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. Seller Inventory # 3352
Quantity: 1 available
Seller Image
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Band 3)
Published by
Cambridge University Press 31.03.1988., 1988
ISBN 10: 0521334292
ISBN 13: 9780521334297
Used
Hardcover
Seller: NEPO UG, Rüsselsheim am Main, Germany
Seller rating 5 out of 5 stars
Condition: Gut. 144 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 396 24,6 x 17,6 x 1,4 cm, Gebundene Ausgabe. Seller Inventory # 384457
Quantity: 1 available
Stock Image
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science)
Published by
Cambridge University Press, 1988
ISBN 10: 0521334292
ISBN 13: 9780521334297
New
Hardcover
Seller: The Book Spot, Sioux Falls, MN, U.S.A.
Seller rating 4 out of 5 stars
Hardcover. Condition: New. Seller Inventory # Abebooks123848
Quantity: 1 available