Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)

J. M. Spivey

ISBN 10: 0521334292 ISBN 13: 9780521334297
Edité par Cambridge University Press, 1988
Ancien(s) ou d'occasion Hardcover

Vendeur ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Vendeur AbeBooks depuis 24 mars 2009

A propos de cet article

Description :

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

Signaler cet article

Synopsis :

This book provides a standard framework for understanding Z specifications.

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Détails bibliographiques

Titre : Understanding Z: A Specification Language ...
Éditeur : Cambridge University Press
Date d'édition : 1988
Reliure : Hardcover
Etat : As New
Etat de la jaquette : No Jacket

Meilleurs résultats de recherche sur AbeBooks

Image d'archives

J. M. Spivey
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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter D'occasion

EUR 0,88
EUR 3,63 shipping
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

J. M. Spivey
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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter D'occasion

EUR 3
EUR 20,50 shipping
Expédition depuis France vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Spivey, J. M.
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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter D'occasion

EUR 3,77
EUR 6,85 shipping
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Spivey, J. M.
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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter D'occasion

EUR 4,22
EUR 6,40 shipping
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Spivey, J. M.
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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter D'occasion

EUR 6,05
Livraison gratuite
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Spivey, J. M.
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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter D'occasion

EUR 41,49
EUR 24 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Spivey, J. M."
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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Hardcover. Etat : New. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; . PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. Book. N° de réf. du vendeur 3352

Contacter le vendeur

Acheter neuf

EUR 42,38
Livraison gratuite
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier