MTU Cork Library Catalogue

Syndetics cover image
Image from Syndetics

Z : an introduction to formal methods / Antoni Diller.

By: Diller, Antoni.
Material type: materialTypeLabelBookPublisher: Chichester [England]. New York : J. Wiley, c1990Description: xxi, 309 p. : ill. ; 25 cm. + pbk.ISBN: 047192489X.Subject(s): Z (Computer program language)DDC classification: 005.12
Contents:
I: Tutorial -- Introduction -- First-order logic -- Set theory -- Internal telephone directory -- More about relations and schemas -- functions -- Sequences -- Bags -- Free types -- II: Methods of Reasoning -- Formal proof -- Rigorous proof -- Immanent reasoning -- Reification and decomposition -- Floyd-Hoare logic -- Getting to program code -- III: Case Studies -- Two small case studies -- Wing's library problem -- Partial specification of a text-editor -- IV: Specification Animation -- Animation using Miranda -- V: Reference Manual -- Methods of Definition -- Formal Definitions -- Rules and Obligations.
Holdings
Item type Current library Call number Copy number Status Date due Barcode Item holds
General Lending MTU Bishopstown Library Store Item 005.12 (Browse shelf(Opens below)) 1 Available 00155232
General Lending MTU Bishopstown Library Lending 005.12 (Browse shelf(Opens below)) 1 Available 00032909
Total holds: 0

Enhanced descriptions from Syndetics:

Offers a thorough and comprehensive tutorial introduction to Z, taking as its starting point the practical use of this formal specification language. After briefly explaining what Z is and why it is a good method for specifying software components, covers Z's basic mathematical toolkit, the fundamental ideas of the schema calculus, and the methods of reasoning. Specific case studies illustrate all aspects of Z and the mathematical notations that must be covered. Also discusses how Z specifications can be animated using a high-level modern functional programming language and Prolog. Standard notation is used throughout, and many proofs and fully explained exercises are included. With its helpful appendices and an annotated bibliography that contains many pointers to the ever-increasing literature on Z, this work will serve as a ready reference manual of the most frequently used Z notations

Bibliography: (pages 357-362) and index.

I: Tutorial -- Introduction -- First-order logic -- Set theory -- Internal telephone directory -- More about relations and schemas -- functions -- Sequences -- Bags -- Free types -- II: Methods of Reasoning -- Formal proof -- Rigorous proof -- Immanent reasoning -- Reification and decomposition -- Floyd-Hoare logic -- Getting to program code -- III: Case Studies -- Two small case studies -- Wing's library problem -- Partial specification of a text-editor -- IV: Specification Animation -- Animation using Miranda -- V: Reference Manual -- Methods of Definition -- Formal Definitions -- Rules and Obligations.

Table of contents provided by Syndetics

  • 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

Powered by Koha