J. M. Spivey, Spivey J. M.

Understanding Z

A Specification Language and Its Formal Semantics

• Broschiertes Buch

Produktbeschreibung

This book provides a standard framework for understanding Z specifications.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 140
• Erscheinungstermin: 24. November 2007
• Englisch
• Abmessung: 244mm x 170mm x 8mm
• Gewicht: 256g
• ISBN-13: 9780521054140
• ISBN-10: 0521054141
• Artikelnr.: 23364176

Inhaltsangabe

Preface
1. Introduction
2. Basic concepts
3. The semantics of Z
4. Discussion
5. Studies in Z style
References
Summary of notation
Index of definitions.