Articles liés à Understanding Z: A Specification Language and its Formal...
Synopsis
This book provides a standard framework for understanding Z specifications.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
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. Z is compared with other methods such as VDM and CLEAR, and in the final chapter, a number of studies in Z style are presented to show that Z can be used in a wide variety of specification tasks. This book will appeal to those who wish to deepen their understanding of the mathematical background of the Z method, those who want a concise definition of the language, and those interested in the design of specification languages.
Revue de presse
"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
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 47,66
EUR 27,65 expédition depuis Etats-Unis vers France
Destinations, frais et délais
Résultats de recherche pour Understanding Z: A Specification Language and its Formal...
Image d'archives
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Edité par
Cambridge University Press, 1988
ISBN 10 : 0521334292
ISBN 13 : 9780521334297
Ancien ou d'occasion
Couverture rigide
Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : 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. N° de réf. du vendeur GOR005050283
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Edité par
Cambridge University Press, 1988
ISBN 10 : 0521334292
ISBN 13 : 9780521334297
Ancien ou d'occasion
Couverture rigide
Vendeur : WeBuyBooks, Rossendale, LANCS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. N° de réf. du vendeur wbs6290490329
Quantité disponible : 1 disponible(s)
Image d'archives
Understanding Z : A Specification Language and Its Formal Semantics
Edité par
Cambridge University Press, 1988
ISBN 10 : 0521334292
ISBN 13 : 9780521334297
Ancien ou d'occasion
Couverture rigide
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects. N° de réf. du vendeur 50483536-6
Quantité disponible : 1 disponible(s)
Image d'archives
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Edité par
Cambridge University Press, 1988
ISBN 10 : 0521334292
ISBN 13 : 9780521334297
Ancien ou d'occasion
Couverture rigide
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : 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. N° de réf. du vendeur G0521334292I2N00
Quantité disponible : 1 disponible(s)
Image d'archives
Understanding Z: A Specification Language and its Formal Semantics
Edité par
Cambridge University Press, 1988
ISBN 10 : 0521334292
ISBN 13 : 9780521334297
Ancien ou d'occasion
Couverture rigide
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : 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. N° de réf. du vendeur E-840-479
Quantité disponible : 1 disponible(s)
Image d'archives
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Edité par
Cambridge University Press, 1988
ISBN 10 : 0521334292
ISBN 13 : 9780521334297
Ancien ou d'occasion
Couverture rigide
Vendeur : BookHolders, Towson, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur 6897838
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Band 3)
Edité par
Cambridge University Press 31.03.1988., 1988
ISBN 10 : 0521334292
ISBN 13 : 9780521334297
Ancien ou d'occasion
Couverture rigide
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur 384457
Quantité disponible : 1 disponible(s)
Image d'archives
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)"
Edité par
Cambridge University Press, 1988
ISBN 10 : 0521334292
ISBN 13 : 9780521334297
Neuf
Couverture rigide
Vendeur : BooksByLisa, Highland Park, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : New. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; . PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. N° de réf. du vendeur 3352
Quantité disponible : 1 disponible(s)
Image d'archives
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science)
Edité par
Cambridge University Press, 1988
ISBN 10 : 0521334292
ISBN 13 : 9780521334297
Neuf
Couverture rigide
Vendeur : The Book Spot, Sioux Falls, MN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : New. N° de réf. du vendeur Abebooks123848
Quantité disponible : 1 disponible(s)