Series: Prentice-Hall International Series in Computer Science
Publisher : Prentice Hall - Hemel Hempstead, Hertfordshire
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.
Includes bibliographical references and index.
AUDIENCE: For programmers, software designers, and software engineers.