Subject Area: Formal Methods in CIDEC Library.

USING Z: SPECIFICATION, REFINEMENT AND PROOF

Jim DAVIES

Series: Prentice-Hall International Series in Computer Science

Publisher : Prentice Hall - Hemel Hempstead, Hertfordshire

Bibliographic :

• Paperback, (alk. paper)
• ISBN: 0-13-948472-8
• May, 1996, © 1996
• xvi, 392 p. : cm.
• Dewey No.: 005.1/2 20

• Z (Computer program language)
• Theory of Computation: Formal Methods

KEY BENEFIT: This is the first book to cover the three important areas of using the Z notation -- specification, rigorous and formal proof, and refinement into code.

KEY TOPICS: It covers sequences, schemas, promotion, preconditions, a logic for Z, sample theorems, data refinement, algorithm development, and more.

CONTENTS :
Includes bibliographical references and index.

AUDIENCE: For programmers, software designers, and software engineers.