Verwandte Artikel zu Understanding Z: A Specification Language and its Formal...
Understanding Z: A Specification Language and its Formal Semantics: 3 (Cambridge Tracts in Theoretical Computer Science, Series Number 3) - Softcover
Inhaltsangabe
This book provides a standard framework for understanding Z specifications.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagCambridge University Press
- Erscheinungsdatum2008
- ISBN 10 0521054141
- ISBN 13 9780521054140
- EinbandTapa blanda
- SpracheEnglisch
- Auflage1
- Anzahl der Seiten140
- Kontakt zum HerstellerNicht verfügbar
Neu kaufen
Diesen Artikel anzeigen
EUR 52,17
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Understanding Z: A Specification Language and its Formal...
Foto des Verkäufers
Understanding Z
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 446923342
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Understanding Z: A Specification Language and its Formal Semantics
Verlag:
Cambridge University Press, 2008
ISBN 10: 0521054141
ISBN 13: 9780521054140
Neu
Paperback / softback
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 270. Bestandsnummer des Verkäufers C9780521054140
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Understanding Z: A Specification Language and its Formal Semantics
Print-on-DemandAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 1st edition. 139 pages. 9.45x6.61x0.47 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __0521054141
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9780521054140_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Understanding Z
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 8367383
Anzahl: 3 verfügbar
Beispielbild für diese ISBN
Understanding Z
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 140. Bestandsnummer des Verkäufers 18529090
Anzahl: 3 verfügbar
Beispielbild für diese ISBN
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science)
Verlag:
Cambridge University Press 2008-02-28, 2008
ISBN 10: 0521054141
ISBN 13: 9780521054140
Neu
Paperback
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9780521054140
Anzahl: 10 verfügbar
Beispielbild für diese ISBN
Understanding Z
Verlag:
Cambridge University Press CUP, 2008
ISBN 10: 0521054141
ISBN 13: 9780521054140
Neu
Softcover
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 140. Bestandsnummer des Verkäufers 26529096
Anzahl: 3 verfügbar
Foto des Verkäufers
Understanding Z : A Specification Language and Its Formal Semantics
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book provides a standard framework for understanding Z specifications. Bestandsnummer des Verkäufers 9780521054140
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Understanding Z: A Specification Language and Its Formal Semantics (Paperback)
Verlag:
Cambridge University Press, Cambridge, 2008
ISBN 10: 0521054141
ISBN 13: 9780521054140
Neu
Paperback
Erstausgabe
Anbieter: CitiRetail, Stevenage, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: 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. Bestandsnummer des Verkäufers 9780521054140
Anzahl: 1 verfügbar