Top: Computers: Programming: Languages: Z: Books:
Books (10)
Using Z: Specification, Refinement, and Proof - 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] - http://www.usingz.com/
|
|
|