Usingz.com
Title
Using Z: Specification, Refinement, and Proof (Formal techniques and formal methods for software engineering)
Description
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]
Contact
-
- Oxford
- United Kingdom of Great Britain and Northern Ireland OX1 3QD
-
- +44.4161234567
