Verwandte Artikel zu Understanding Z: A Specification Language and its Formal...
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, 3, Band 3) - Softcover
Inhaltsangabe
This book provides a standard framework for understanding Z specifications.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Understanding Z: A Specification Language and its Formal...
Beispielbild für diese ISBN
Understanding Z. A Specification Language and its Formal Semantics. [Cambridge Tracts in Theoretical Computer Science, Vol. 3].
Verlag:
Cambridge University Press, 2008
ISBN 10: 0521054141
ISBN 13: 9780521054140
Gebraucht
Softcover/Paperback
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Softcover/Paperback. Zustand: Sehr gut. 140 p. Very good. Shrink wrapped. / Sehr guter Zustand. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 248. Artikel-Nr. 824061
Gebraucht kaufen
EUR 7,40
EUR 40,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Understanding Z
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: Used - Very Good. Used - Like New Book. Shipped from UK. Established seller since 2000. Artikel-Nr. P1-9780521054140
Gebraucht kaufen
EUR 45,88
EUR 3,84 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
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. Artikel-Nr. ria9780521054140_new
Neu kaufen
EUR 50,06
EUR 14,00 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Understanding Z: A Specification Language and its Formal Semantics: 3 (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Artikel-Nr. V9780521054140
Neu kaufen
EUR 68,08
EUR 9,10 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 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 - 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. Artikel-Nr. 9780521054140
Neu kaufen
EUR 67,99
EUR 61,28 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar