Understanding Specification Language Formal by Spivey (12 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.

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

hardcover. Condition: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

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

PF. Condition: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

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