Articoli correlati a Understanding Z: A Specification Language and its Formal...
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.
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: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Codice articolo G0521334292I4N00
Compra usato
EUR 13,68
Spedizione gratuita
Spedito in U.S.A.
Spedito 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)"
Da: BooksByLisa, Highland Park, IL, U.S.A.
Valutazione del venditore 4 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 15,69
Spedizione gratuita
Spedito in U.S.A.
Spedito 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, 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
hardcover. Condizione: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Codice articolo rev7627207687
Compra usato
EUR 38,33
Spedizione EUR 7,43
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito 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, North Branch, MN, U.S.A.
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: New. Codice articolo Abebooks123848
Compra nuovo
EUR 77,37
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili