Sinossi
This book provides a standard framework for understanding Z specifications.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Recensione
"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
Descrizione del libro
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Understanding Z: A Specification Language and its Formal...
Foto dell'editore
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Editore:
Cambridge University Press, 1988
ISBN 10: 0521334292
ISBN 13: 9780521334297
Antico o usato
Rilegato
Da: BookHolders, Towson, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 6897838
Compra usato
EUR 0,89
Spese di spedizione:
EUR 3,65
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Understanding Z : A Specification Language and Its Formal Semantics
Editore:
Cambridge University Press, 1988
ISBN 10: 0521334292
ISBN 13: 9780521334297
Antico o usato
Rilegato
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects. Codice articolo 50483536-6
Compra usato
EUR 6,10
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Editore:
Cambridge University Press, 1988
ISBN 10: 0521334292
ISBN 13: 9780521334297
Antico o usato
Rilegato
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: 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. Codice articolo GOR005050283
Compra usato
EUR 4,82
Spese di spedizione:
EUR 6,33
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Editore:
Cambridge University Press, 1988
ISBN 10: 0521334292
ISBN 13: 9780521334297
Antico o usato
Rilegato
Da: WeBuyBooks, Rossendale, LANCS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo wbs6290490329
Compra usato
EUR 5,35
Spese di spedizione:
EUR 6,79
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Understanding Z: A Specification Language and its Formal Semantics
Editore:
Cambridge University Press, 1988
ISBN 10: 0521334292
ISBN 13: 9780521334297
Antico o usato
Rilegato
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: 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. Codice articolo E-840-479
Compra usato
EUR 3,00
Spese di spedizione:
EUR 22,50
Da: Francia a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)"
Da: BooksByLisa, Highland Park, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: New. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; . PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. Book. Codice articolo 3352
Compra nuovo
EUR 35,55
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Band 3)
Editore:
Cambridge University Press 31.03.1988., 1988
ISBN 10: 0521334292
ISBN 13: 9780521334297
Antico o usato
Rilegato
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 384457
Compra usato
EUR 41,49
Spese di spedizione:
EUR 24,00
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science)
Da: The Book Spot, Sioux Falls, MN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: New. Codice articolo Abebooks123848
Compra nuovo
EUR 74,39
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili