Book contents
- Frontmatter
- Contents
- Preface
- I Why Z?
- II Introducing Z
- III Elements of Z
- 8 Elements
- 9 Structure
- 10 Logic
- 11 Synthesis
- 12 Schemas and schema calculus
- 13 Schema types and bindings
- 14 Generic definitions and free types
- 15 Formal reasoning
- Further reading
- IV Studies in Z
- V Programming with Z
- Further reading
- A Glossary of Z notation
- B Omitted features
- C Operator precedence
- D The Z mathematical tool-kit
- E Selected Laws
- F Solutions to selected exercises
- G Other formal notations
- Bibliography
- Index
11 - Synthesis
Published online by Cambridge University Press: 06 July 2010
- Frontmatter
- Contents
- Preface
- I Why Z?
- II Introducing Z
- III Elements of Z
- 8 Elements
- 9 Structure
- 10 Logic
- 11 Synthesis
- 12 Schemas and schema calculus
- 13 Schema types and bindings
- 14 Generic definitions and free types
- 15 Formal reasoning
- Further reading
- IV Studies in Z
- V Programming with Z
- Further reading
- A Glossary of Z notation
- B Omitted features
- C Operator precedence
- D The Z mathematical tool-kit
- E Selected Laws
- F Solutions to selected exercises
- G Other formal notations
- Bibliography
- Index
Summary
- Type
- Chapter
- Information
- The Way of ZPractical Programming with Formal Methods, pp. 112 - 121Publisher: Cambridge University PressPrint publication year: 1996