Wiley.com
Print this page Share
Textbook

Z: An Introduction to Formal Methods, 2nd Edition

ISBN: 978-0-471-93973-3
Paperback
400 pages
July 1994, ©1994
List Price: US $129.95
Government Price: US $87.64
Enter Quantity:   Buy
Z: An Introduction to Formal Methods, 2nd Edition (0471939730) cover image
This is a Print-on-Demand title. It will be printed specifically to fill your order. Please allow an additional 10-15 days delivery time. The book is not returnable.

TUTORIAL.

First-Order Logic.

Set Theory.

Internal Telephone Directory.

More About Relations and Schemas.

Functions.

Sequences.

Bags.

Free Types.

METHODS OF REASONING.

Formal Proof.

Rigorous Proof.

Immanent Reasoning.

Reification and Decomposition.

Floyd-Hoare Logic.

Getting to Program Code.

CASE STUDIES.

Two Small Case Studies.

Wing's Library Problem.

Partial Specification of a Text-Editor.

SPECIFICATION ANIMATION.

Animation Using Miranda.

REFERENCE MANUAL.

Methods of Definition.

Formal Definitions.

Rules and Obligations.

Appendices.

Bibliography.

Index.
Back to Top