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, Vol. 3].
Editore:
Cambridge University Press, 2008
ISBN 10: 0521054141
ISBN 13: 9780521054140
Antico o usato
Softcover/Paperback
Da: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germania
Valutazione del venditore 5 su 5 stelle
Softcover/Paperback. 140 p. Very good. Shrink wrapped. / Sehr guter Zustand. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 248. Codice articolo 824061
Compra usato
EUR 5,92
Spedizione EUR 15,00
Spedito da Germania a U.S.A.
Spedito 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, Series Number 3)
Editore:
Cambridge University Press, 2008
ISBN 10: 0521054141
ISBN 13: 9780521054140
Antico o usato
Brossura
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Codice articolo Z1-R-030-02726
Compra usato
EUR 17,73
Spedizione EUR 12,31
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Understanding Z (Paperback)
Editore:
Cambridge University Press, Cambridge, 2008
ISBN 10: 0521054141
ISBN 13: 9780521054140
Nuovo
Paperback
Prima edizione
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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. 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. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9780521054140
Compra nuovo
EUR 52,34
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: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo I-9780521054140
Compra nuovo
EUR 52,34
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Understanding Z: A Specification Language and its Formal Semantics
Print on DemandDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 1st edition. 139 pages. 9.45x6.61x0.47 inches. In Stock. This item is printed on demand. Codice articolo __0521054141
Compra nuovo
EUR 45,41
Spedizione EUR 11,57
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)
Editore:
Cambridge University Press 2008-02-28, 2008
ISBN 10: 0521054141
ISBN 13: 9780521054140
Nuovo
Paperback
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9780521054140
Compra nuovo
EUR 45,35
Spedizione EUR 17,92
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 10 disponibili
Foto dell'editore
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780521054140_new
Compra nuovo
EUR 49,55
Spedizione EUR 13,86
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Understanding Z: A Specification Language and its Formal Semantics: 3 (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Editore:
Cambridge University Press, 2008
ISBN 10: 0521054141
ISBN 13: 9780521054140
Nuovo
Brossura
Prima edizione
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Condizione: New. This book provides a standard framework for understanding Z specifications. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 140 pages, black & white illustrations. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 8. Weight in Grams: 240. . 2008. 1st Edition. paperback. . . . . Codice articolo V9780521054140
Compra nuovo
EUR 55,30
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.
Spedito da Irlanda a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Understanding Z: A Specification Language and its Formal Semantics
Editore:
Cambridge University Press, 2008
ISBN 10: 0521054141
ISBN 13: 9780521054140
Nuovo
Paperback / softback
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Codice articolo C9780521054140
Compra nuovo
EUR 51,00
Spedizione EUR 15,56
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Understanding Z
Editore:
Cambridge University Press CUP, 2008
ISBN 10: 0521054141
ISBN 13: 9780521054140
Nuovo
Brossura
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 140. Codice articolo 26529096
Compra nuovo
EUR 68,62
Spedizione EUR 3,44
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili