Author

Woodcock, Jim

Catalogue records by Woodcock, Jim in the PakCat Union Catalogue.

3 catalogue records

Catalogue records

Software engineering mathematics Woodcock, Jim 1988 Using Z Woodcock, Jim 1996 Using Z: Specification Refinement and Proof Woodcock Jim 2015