Jim Woodcock

Jim Woodcock is the author of "Theories of Programming and Formal Methods", "Formal Methods and Hybrid Real-Time Systems", "Unifying Theories of Programming and Formal Engineering Methods" and "Verified Software".

Books by Jim Woodcock

Formal Methods an...
Jones Cliff B.
Paperback:

Verified Software...
Meyer Bertrand
Paperback: $109.99

Theories of Progr...
Liu Zhiming
Paperback: $54.99

Refinement Techni...
Cavalcanti Ana
Paperback: $54.99