Description

Book Synopsis
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.

Table of Contents
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.

Z

    Product form

    A Paperback / softback by Antoni Diller

    £56.00

    Includes FREE delivery

    RRP £58.95 – you save £2.95 (5%)

    Order before 4pm tomorrow for delivery by Thu 29 Oct 2026.

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Z by Antoni Diller

      Book details

      Publisher John Wiley & Sons Inc
      Published 3 May 1994
      ISBN-13 9780471939733
      978-0471939733
      ISBN-10 0471939730
      Also in:
      Computer programming / software engineering

      Description

      Book Synopsis
      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.

      Table of Contents
      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.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account