The essence of Z/
Main Author: | Currie, Ed |
---|---|
Format: | Book |
Language: | English |
Published: |
Harlow, Essex, England:
Prentice Hall,
1999
|
Series: | The essence of computing series
|
Subjects: |
Similar Items
-
Z: an introduction to formal methods/
by: Diller, Antoni
Published: (1990) -
Using Z: specification, refinement and proof/
by: Woodcock, Jim
Published: (1996) -
Using Z : specification, refinement, and proof /
by: Woodcock, Jim.
Published: (1996) -
The Z notation: : a reference manual/
by: Spivey, J. M.
Published: (1989) -
Introducing specification using Z: a practical case study approach/
by: Ratcliff, Bryan
Published: (1994)