Using Z: Specification, Refinement, and Proof (Prentice-hall International Series in Computer Science)
Full Title: | Using Z: Specification, Refinement, and Proof (Prentice-hall International Series in Computer Science) |
---|---|
ISBN: | 0139484728 |
ISBN13: | 9780139484728 |
Authors: |
Woodcock, Jim Davies, Jim |