Articoli correlati a Understanding Z: A Specification Language and its Formal...

Understanding Z: A Specification Language and its Formal Semantics - Brossura

Spivey, J

 
9780521054140: Understanding Z: A Specification Language and its Formal Semantics
Brossura
ISBN 10: 0521054141 ISBN 13: 9780521054140
Casa editrice: Cambridge University Press, 2008

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.

  • EditoreCambridge University Press
  • Data di pubblicazione2008
  • ISBN 10 0521054141
  • ISBN 13 9780521054140
  • RilegaturaCopertina flessibile
  • LinguaInglese
  • Numero edizione1
  • Numero di pagine140
  • Contatto del produttorenon disponibile

Compra nuovo

Visualizza questo articolo
9780521054140: Understanding Z: A Specification Language and its Formal Semantics
EUR 44,06

Convertire valuta

EUR 11,86 per la spedizione da Regno Unito a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9780521334297: Understanding Z: A Specification Language and its Formal Semantics

Edizione in evidenza

ISBN 10:  0521334292 ISBN 13:  9780521334297
Casa editrice: Cambridge University Press, 1988
Rilegato

Risultati della ricerca per Understanding Z: A Specification Language and its Formal...

Foto dell'editore

J. M. Spivey
Editore: Cambridge Univ Pr, 2008
ISBN 10: 0521054141 ISBN 13: 9780521054140
Nuovo Paperback
Print on Demand

Da: Revaluation Books, Exeter, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Brand New. 1st edition. 139 pages. 9.45x6.61x0.47 inches. In Stock. This item is printed on demand. Codice articolo __0521054141

Contatta il venditore

Compra nuovo

EUR 44,06
Convertire valuta
Spese di spedizione: EUR 11,86
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

J.M. Spivey
ISBN 10: 0521054141 ISBN 13: 9780521054140
Nuovo Paperback / softback
Print on Demand

Da: THE SAINT BOOKSTORE, Southport, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 270. Codice articolo C9780521054140

Contatta il venditore

Compra nuovo

EUR 48,34
Convertire valuta
Spese di spedizione: EUR 7,89
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

J. M. Spivey Spivey J. M.
ISBN 10: 0521054141 ISBN 13: 9780521054140
Nuovo Brossura

Da: Majestic Books, Hounslow, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. 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

Contatta il venditore

Compra nuovo

EUR 47,57
Convertire valuta
Spese di spedizione: EUR 10,50
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 3 disponibili

Aggiungi al carrello

Foto dell'editore

Spivey, J. M.
ISBN 10: 0521054141 ISBN 13: 9780521054140
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9780521054140_new

Contatta il venditore

Compra nuovo

EUR 50,67
Convertire valuta
Spese di spedizione: EUR 10,66
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Spivey, J. M.|J. M., Spivey
ISBN 10: 0521054141 ISBN 13: 9780521054140
Nuovo Brossura
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: 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. Codice articolo 446923342

Contatta il venditore

Compra nuovo

EUR 52,17
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Spivey J. M. J. M. Spivey
ISBN 10: 0521054141 ISBN 13: 9780521054140
Nuovo Brossura

Da: Books Puddle, New York, NY, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. 140. Codice articolo 26529096

Contatta il venditore

Compra nuovo

EUR 54,36
Convertire valuta
Spese di spedizione: EUR 7,88
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 3 disponibili

Aggiungi al carrello

Foto dell'editore

J. M. Spivey Spivey J. M.
ISBN 10: 0521054141 ISBN 13: 9780521054140
Nuovo Brossura

Da: Biblios, Frankfurt am main, HESSE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. 140. Codice articolo 18529090

Contatta il venditore

Compra nuovo

EUR 55,61
Convertire valuta
Spese di spedizione: EUR 7,95
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 3 disponibili

Aggiungi al carrello

Foto dell'editore

J Spivey
ISBN 10: 0521054141 ISBN 13: 9780521054140
Nuovo Paperback

Da: Chiron Media, Wallingford, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: New. Codice articolo 6666-IUK-9780521054140

Contatta il venditore

Compra nuovo

EUR 46,51
Convertire valuta
Spese di spedizione: EUR 23,71
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 10 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

J. M. Spivey
ISBN 10: 0521054141 ISBN 13: 9780521054140
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book provides a standard framework for understanding Z specifications. Codice articolo 9780521054140

Contatta il venditore

Compra nuovo

EUR 67,61
Convertire valuta
Spese di spedizione: EUR 14,99
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

J.M. Spivey
ISBN 10: 0521054141 ISBN 13: 9780521054140
Nuovo Paperback Prima edizione

Da: CitiRetail, Stevenage, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

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. 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. Codice articolo 9780521054140

Contatta il venditore

Compra nuovo

EUR 54,97
Convertire valuta
Spese di spedizione: EUR 35,59
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Vedi altre 2 copie di questo libro

Vedi tutti i risultati per questo libro