Z
An Introduction to Formal Methods
2nd Edition
Published on 3. May 1994
Book
Paperback/Softback
XX, 374 pages
978-0-471-93973-3 (ISBN)
Description
Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.
More details
Product info
Paperback
Edition
2. Auflage
Language
English
Place of publication
New York
United States
Target group
College/higher education
Professional and scholarly
Edition type
New edition
Dimensions
Height: 24.3 cm
Width: 18.1 cm
Thickness: 2.3 cm
Weight
692 gr
ISBN-13
978-0-471-93973-3 (9780471939733)
Schweitzer Classification
Other editions
Previous edition
Book
06/1990
Wiley
€28.42
Article exhausted; check for reprint
Person
Antoni Diller is the author of Z: An Introduction to Formal Methods, 2nd Edition, published by Wiley.
Content
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.