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 • first pub 1996 (editions)

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

Using Z: Specification, Refinement, and Proof

Jim Davies, Jim Woodcock

missing page info • first pub 1996 (editions)

challenging informative reflective medium-paced
More...