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.
Autres éditions populaires du même titre
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
impression à la demandeVendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 1st edition. 139 pages. 9.45x6.61x0.47 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __0521054141
Acheter neuf
EUR 42,25
Frais de port :
EUR 11,38
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Understanding Z: A Specification Language and Its Formal Semantics (Paperback)
Edité par
Cambridge University Press, Cambridge, 2008
ISBN 10 : 0521054141
ISBN 13 : 9780521054140
Neuf
Paperback
Edition originale
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. 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. 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. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9780521054140
Acheter neuf
EUR 54,77
Frais de port :
Gratuit
Vers Etats-Unis
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, 2008
ISBN 10 : 0521054141
ISBN 13 : 9780521054140
Neuf
Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780521054140_new
Acheter neuf
EUR 47,03
Frais de port :
EUR 13,63
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science)
Edité par
Cambridge University Press 2008-02-28, 2008
ISBN 10 : 0521054141
ISBN 13 : 9780521054140
Neuf
Paperback
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9780521054140
Acheter neuf
EUR 44,60
Frais de port :
EUR 17,62
De Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image d'archives
Understanding Z: A Specification Language and its Formal Semantics
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521054141
ISBN 13 : 9780521054140
Neuf
Paperback / softback
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 270. N° de réf. du vendeur C9780521054140
Acheter neuf
EUR 47,14
Frais de port :
EUR 15,30
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Understanding Z
Edité par
Cambridge University Press CUP, 2008
ISBN 10 : 0521054141
ISBN 13 : 9780521054140
Neuf
Couverture souple
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 140. N° de réf. du vendeur 26529096
Acheter neuf
EUR 66,28
Frais de port :
EUR 3,45
Vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Understanding Z
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521054141
ISBN 13 : 9780521054140
Neuf
Couverture souple
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand pp. 140 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 8367383
Acheter neuf
EUR 69,11
Frais de port :
EUR 7,39
De Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Understanding Z
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521054141
ISBN 13 : 9780521054140
Neuf
Couverture souple
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 140. N° de réf. du vendeur 18529090
Acheter neuf
EUR 70,07
Frais de port :
EUR 9,95
De Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Understanding Z: A Specification Language and Its Formal Semantics (Paperback)
Edité par
Cambridge University Press, Cambridge, 2008
ISBN 10 : 0521054141
ISBN 13 : 9780521054140
Neuf
Paperback
Edition originale
Vendeur : CitiRetail, Stevenage, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. 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. 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N° de réf. du vendeur 9780521054140
Acheter neuf
EUR 52,71
Frais de port :
EUR 42,09
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Understanding Z
Edité par
Cambridge University Press, 2007
ISBN 10 : 0521054141
ISBN 13 : 9780521054140
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 understandin. N° de réf. du vendeur 446923342
Acheter neuf
EUR 52,17
Frais de port :
EUR 48,99
De Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles