Fr. 113.00

Z - An Introduction to Formal Methods

English · Paperback / Softback

Shipping usually within 1 to 3 weeks (not available at short notice)

Description

Read more

Informationen zum Autor Antoni Diller is the author of Z: An Introduction to Formal Methods, 2nd Edition, published by Wiley. Klappentext 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. Zusammenfassung 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. Inhaltsverzeichnis 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.

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.

Write a review

Thumbs up or thumbs down? Write your own review.

For messages to CeDe.ch please use the contact form.

The input fields marked * are obligatory

By submitting this form you agree to our data privacy statement.