Title:
An introduction to formal specification and Z
Personal Author:
Publication Information:
New York : Prentice Hall, 1991
ISBN:
9780134787022
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
|---|---|---|---|---|---|
Searching... | 30000003909276 | QA76.76.D47 P67 1991 | Open Access Book | Book | Searching... |
On Order
Table of Contents
| Introduction |
| Formal Specification within Software Engineering |
| An informal introduction to Logic and Set Theory |
| The Z Notation: Mathematical Language |
| The Z Notation: Relations and Functions |
| The Z Notation:Schemas and Specification Structure |
| A First Specification.Formal Reasoning |
| From Specification to Program |
| From Theory to Practice |
| Appendices |
| Bibliography |
| Index |
