|
Top: Computers: Programming: Languages: Z: Books:
Using Z: Specification, Refinement, and Proof
 Link Details for: Using Z: Specification, Refinement, and Proof
| Link Title: |
Using Z: Specification, Refinement, and Proof  |
|
| Link URL: |
http://www.usingz.com/ |
| Link Details: |
By Jim Woodcock, Jim Davies; Prentice Hall, 1996, ISBN 0139484728. Treats formal techniques and methods for software engineering via Z. Full text, slides, exercises, solutions, cards, contents. [University of Oxford, Online] |
| Category: |
Top : Computers : Programming : Languages : Z : Books |
| Link Type: |
     |
| ScreenShot: |
|
|
|
