Understanding Specification Language Formal by Spivey (13 results)

Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

Hardcover. Condition: New. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; . PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. Book.

Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1988. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1988. Ammareal gives back up to 15% of this item's net price to charity organizations.…

Softcover/Paperback. Condition: Sehr gut. 140 p. Very good. Shrink wrapped. / Sehr guter Zustand. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 248.

Condition: New.

Condition: New. In English.

Paperback. Condition: New.

Condition: 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. . . . . …

Hardcover. Condition: New.

Condition: 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. …

Taschenbuch. Condition: 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.…

Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

Taschenbuch. Condition: Neu. Understanding Z | A Specification Language and Its Formal Semantics | J. M. Spivey (u. a.) | Taschenbuch | Kartoniert / Broschiert | Englisch | 2007 | Cambridge University Press | EAN 9780521054140 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.…