The Essence of Z
Ed Currie
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
Κατηγορίες:
Έτος:
1999
Εκδότης:
Prentice Hall Europe
Γλώσσα:
english
Σελίδες:
200
ISBN 10:
013749839X
ISBN 13:
9780137498390
Σειρές:
Prentice-Hall Essence of Computing
Αρχείο:
DJVU, 1.71 MB
IPFS:
,
english, 1999