|
Textbook
Z: An Introduction to Formal Methods, 2nd EditionISBN: 978-0-471-93973-3
Paperback
400 pages
July 1994, ©1994
 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.
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.
Related Titles
More By This Author
General Programming & Software Development
Resources for
Instructors
Contact a Wiley Sales Rep
Find Your Rep
.png){kind=small}
Join An E-mail ListLearn about the latest products, events, offers and content. |
