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, 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. Condizione: Sehr gut. 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 7,40
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
Editore:
Cambridge University Press 2008-02, 2008
ISBN 10: 0521054141
ISBN 13: 9780521054140
Nuovo
PF
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Codice articolo 6666-IUK-9780521054140
Compra nuovo
EUR 49,48
Spedizione EUR 5,37
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 20 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 5 su 5 stelle
Condizione: New. Codice articolo I-9780521054140
Compra nuovo
EUR 54,34
Spedizione EUR 2,68
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: 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 9,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 60,97
Spedizione EUR 16,09
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, Woodside, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 140. Codice articolo 26529096
Compra nuovo
EUR 74,47
Spedizione EUR 3,57
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Understanding Z: A Specification Language and its Formal Semantics: 3 (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Da: Kennys Bookstore, Olney, MD, U.S.A.
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. . . . . Books ship from the US and Ireland. Codice articolo V9780521054140
Compra nuovo
EUR 70,22
Spedizione EUR 9,39
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Understanding Z
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: 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. Codice articolo 8367383
Compra nuovo
EUR 74,78
Spedizione EUR 7,78
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Understanding Z
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 140. Codice articolo 18529090
Compra nuovo
EUR 75,14
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Understanding Z (Paperback)
Editore:
Cambridge University Press, Cambridge, 2008
ISBN 10: 0521054141
ISBN 13: 9780521054140
Nuovo
Paperback
Prima edizione
Da: CitiRetail, Stevenage, Regno Unito
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 our UK warehouse or from our Australian or US warehouses, depending on stock availability. Codice articolo 9780521054140
Compra nuovo
EUR 59,14
Spedizione EUR 44,26
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili