Importo totale (1 articolo articoli):
Destinazione ordine:
9780521054140 - Understanding Z: A Specification Language and its Formal Semantics di Spivey, J (16 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (16)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (14)
- Come nuovo, Ottimo o Quasi ottimo (1)
- Molto buono o Buono (1)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (16)
Ulteriori caratteristiche
- Prima ed. (3)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (2)
- Non Print on Demand (9)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Understanding Z. A Specification Language and its Formal Semantics. [Cambridge Tracts in Theoretical Computer Science, Vol. 3].
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054141 ISBN 13: 9780521054140
Da: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germania
Membro dell'associazione: GIAQ
Valutazione del venditore 5 su 5 stelle
AffareEUR 5,92
Spedizione EUR 15,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover/Paperback. Condizione: Sehr gut. 140 p. Very good. Shrink wrapped. / Sehr guter Zustand. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 248.
-
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054141 ISBN 13: 9780521054140
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 17,73
Spedizione EUR 12,30
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
-
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054141 ISBN 13: 9780521054140
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 52,34
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054141 ISBN 13: 9780521054140
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 49,54
Spedizione EUR 13,85
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science)
Lingua: Inglese
Editore: Cambridge University Press 2008-02-28, 2008
ISBN 10: 0521054141 ISBN 13: 9780521054140
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 45,34
Spedizione EUR 17,91
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Understanding Z: A Specification Language and its Formal Semantics: 3 (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054141 ISBN 13: 9780521054140
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 55,30
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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. . . . .
-
Understanding Z
Lingua: Inglese
Editore: Cambridge University Press CUP, 2008
ISBN 10: 0521054141 ISBN 13: 9780521054140
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 140.
-
Understanding Z: A Specification Language and its Formal Semantics: 3 (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054141 ISBN 13: 9780521054140
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 67,63
Spedizione EUR 9,04
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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.
-
Understanding Z : A Specification Language and Its Formal Semantics
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054141 ISBN 13: 9780521054140
EUR 67,99
Spedizione EUR 61,28
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
Understanding Z (Paperback)
Lingua: Inglese
Editore: Cambridge University Press, Cambridge, 2008
ISBN 10: 0521054141 ISBN 13: 9780521054140
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione Print on Demand
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.
-
Understanding Z: A Specification Language and its Formal Semantics
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 45,40
Spedizione EUR 11,56
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 1st edition. 139 pages. 9.45x6.61x0.47 inches. In Stock. This item is printed on demand.
-
Understanding Z: A Specification Language and its Formal Semantics
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054141 ISBN 13: 9780521054140
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 51,00
Spedizione EUR 15,55
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
Understanding Z
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054141 ISBN 13: 9780521054140
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 66,67
Spedizione EUR 7,52
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: 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.
-
Understanding Z
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054141 ISBN 13: 9780521054140
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 68,07
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 140.
-
Understanding Z (Paperback)
Lingua: Inglese
Editore: Cambridge University Press, Cambridge, 2008
ISBN 10: 0521054141 ISBN 13: 9780521054140
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
Prima edizione Print on Demand
EUR 57,16
Spedizione EUR 42,79
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. 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.
-
Understanding Z
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521054141 ISBN 13: 9780521054140
EUR 54,70
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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.
