ENGLISH

The Essence of Z

By Ed Currie

Book information

Publisher
Prentice Hall Europe
Year
1999
ISBN
0-13-749839-X, 9780137498390
Language
english
Format
DJVU
Filesize
2 MB (1795633 bytes)
Series
Prentice-Hall Essence of Computing
Pages
200\203
Library
kolxoz
Time added
2017-10-15 16:00:00
etcexercisesZ (programspråk);Z (Computer program language);Z

Description

The Essence of Z is an exciting new publication that is ideal for a first course in formal specification using Z. In simple, straightforward terms, and assuming little previous mathematical knowledge, the book provides a clear understanding of how to use Z to construct specifications for software and other systems. Each new concept is reinforced by many exercises and examples, and several larger case studies are included to develop the skills necessary for specification development and to provide a clear context for the subject

Similar books