Jim Woodcock

2 books

Using Z: Specification, Refinement, And Proof by Jim Woodcock, Jim Davies
Using Z: Specification, Refinement, And Proof
—
Jim Woodcock, Jim Davies

Using Z: Specification, Refinement, And Proof

Jim Woodcock, Jim Davies

missing page info • 1996

nonfiction computer science reference informative slow-paced
Using Z: Specification, Refinement, and Proof by Jim Woodcock, Jim Davies
Using Z: Specification, Refinement, and Proof
—
Jim Woodcock, Jim Davies

Using Z: Specification, Refinement, and Proof

Jim Woodcock, Jim Davies

missing page info • 1996

challenging informative reflective medium-paced