Description:
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. For programmers, software designers, and software engineers. Previously announced in 2/93 PTR Catalog.
Expand description
Product notice
Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.

Please Wait