Using Z: Specification‚ Refinement‚ and Proof
J. Woodcock and J. Davies
Details
| LCCN |
96004347 |
| Publisher |
Prentice Hall International |
| Year |
1996 |
Links
Related pages
|
People |
J. Woodcock and J. Davies
| LCCN |
96004347 |
| Publisher |
Prentice Hall International |
| Year |
1996 |
|
People |