AboutSign inJoin

Jim Woodcock

About

James Charles Paul Woodcock is a British computer scientist.

Books

FME '96: Industrial Benefit and Advances in Formal Methods
FME '96: Industrial Benefit and Advances in Formal Methods
Jim Woodcock, Marie-Claude Gaudel, James Woodcock
Theoretical Aspects of Computing
Theoretical Aspects of Computing
Ana Cavalcanti, Jim Woodcock, David Deharbe, Marie-Claude Gaudel
Verified Software: Theories, Tools, Experiments
Verified Software: Theories, Tools, Experiments
Jim Woodcock, Natarajan Shankar
Verified Software: Theories, Tools, Experiments
Verified Software: Theories, Tools, Experiments
Bertrand Meyer, Jim Woodcock
Software Engineering Mathematics
Software Engineering Mathematics
Jim Woodcock, Martin Loomes
Theories of Programming and Formal Methods
Theories of Programming and Formal Methods
Huibiao Zhu, Zhiming Liu, Jim Woodcock
Formal Methods and Software Engineering
Formal Methods and Software Engineering
Jim Woodcock, Jin Song Dong, INTERNATIONAL CONFERENCE ON FORMAL ENGIN
Theoretical Aspects of Computing -- ICTAC 2013
Theoretical Aspects of Computing -- ICTAC 2013
Huibiao Zhu, Zhiming Liu, Jim Woodcock
Formal Methods and Software Engineering
Formal Methods and Software Engineering
Jim Woodcock, Jin Song Dong
Theoretical Aspects of Computing
Theoretical Aspects of Computing
Ana Cavalcanti, Jim Woodcock, David Deharbe, Marie-Claude Gaudel
Software Engineering for Robotics
Software Engineering for Robotics
Ana Cavalcanti, Jon Timmis, Jim Woodcock, Brijesh Dongol, Rob Hierons
Formal Methods and Hybrid Real-Time Systems
Formal Methods and Hybrid Real-Time Systems
Zhiming Liu, Jim Woodcock, Cliff B. Jones
FME '93: Industrial-Strength Formal Methods
FME '93: Industrial-Strength Formal Methods
Jim Woodcock, James C.P. Woodcock, Peter G. Larsen
Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
Marcel Vinícius Medeiros Oliveira, Jim Woodcock

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian