Jim Woodcock | lit.salon

Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Jim Woodcock | lit.salon

Jim Woodcock

No bio available. Add one in Open Library.

Books by Jim Woodcock (50 max)

Theoretical Aspects of Computing -- ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

2013

Zhiming Liu, Jim Woodcock, Huibiao Zhu

Software engineering mathematics: formal methods demystified

1988

Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings (Lecture Notes in Computer Science)

1993

Bird, Richard, Carroll Morgan, Jim Woodcock

Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)

1996

Jim Woodcock, Jim Davies

Formal methods and hybrid real-time systems: essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays

2007

D. Bjørner, Jones, C. B., Jim Woodcock

Software Engineering for Robotics

2021

Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock

St. Louis Blues hockey club, 1967-2002: Note by note

2002

Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures

2006

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures

2007

Chris George, Zhiming Liu, Jim Woodcock

Verified Software : Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

2008

Natarajan Shankar, Jim Woodcock

Formal Methods : Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

2009

Marcel Vinícius Medeiros Oliveira, Jim Woodcock

Formal Methods Foundations and Applications Lecture Notes in Computer Science

2010

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

2013

Zhiming Liu, Jim Woodcock, Huibiao Zhu

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

2013

Zhiming Liu, Jim Woodcock, Huibiao Zhu

Dependable Software Engineering. Theories, Tools, and Applications 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings

2021

Shengchao Qin, Jim Woodcock, Wenhui Zhang