Z : an introduction to formal methods
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Chichester, West Sussex, England ; New York :
Wiley & Sons ,
c1994
|
| Edition: | 2nd ed |
| Subjects: | |
| Online Access: | Table of Contents |
Table of Contents:
- 1. Tutorial
- 2. Methods of reasoning
- 3. Case studies
- 4. Specification animation
- 5. Reference manual