Browse
By Books2Africa Collection
By Subjects
By Authors
By Publishers
Login
0
books by author
Jim Woodcock
Filter by available
Using Z : Specification, Refinement, and Proof
By Jim Woodcock, Woodcock, Jim, J. C. P., Davies
Millennial Perspectives in Computer Science: Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare (Cornerstones of Computing)
By Jim Davies, Bill Roscoe, Jim Woodcock
