کتاب های Jim Woodcock
Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings
Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.), 2010
Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings
Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.), 2010
Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings
Ian J. Hayes (auth.), Jin Song Dong, Jim Woodcock (eds.), 2003
Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings
Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.), 2010
Using Z.Specification,refinement,and proof
Jim Woodcock, 1996
Using Z: Specification, Refinement, and Proof
Jim Woodcock, 1996
Influence of environmental factors on mental health within prisons:focus group study
Jo Nurse, Paul Woodcock, Jim Ornsby
Software engineering mathematics
Woodcock, Jim; Loomes, Martin, 1989
Software Engineering for Robotics
Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock, 2021
IL-5 Receptor
Bagley Ch.J., Tavernier J., Woodcock J.M.
A Geometrical Study of the Elementary Catastrophes
A. E. R. Woodcock, T. Poston (auth.), 1974
The 1000 Hells (Kindred of the East)
Kraig Blackwelder, Tim Clancy, Geoffrey C. Grabowski, Lindsay Woodcock, Jack Norris, Richard E. Dans, 1999
The Penguin atlas of medieval history
Colin McEvedy; John Woodcock, 1961
Catastrophe theory
AER Woodcock, 1978
20th-Century Fiction
George Woodcock (auth.), 1983
A Geometrical Study of the Elementary Catastrophes
A. E. R. Woodcock, 1974
A Geometrical Study of the Elementary Catastrophes
A. E. R. Woodcock, 1974
Rhetorical Questions in 'Oratio Obliqua' 21 61
E. C. Woodcock, 1952
Always die before your mother
Woodcock, 2009
Advances in Molten Salt Chemistry: Volume 3
L. V. Woodcock (auth.), 1975
Bulk Solids Handling: An Introduction to the Practice and Technology
C. R. Woodcock DipTech, 1988
Bulk Solids Handling: An Introduction to the Practice and Technology
C. R. Woodcock DipTech, 1987
