Jim Woodcock

Identifiers

Open LibraryOL1003238A

Top Subjects

Software engineering (2)
Computer science -- Mathematics (1)
Electronic digital computers -- Programming (1)
Programming Languages - General (1)
Computers - Languages / Programming (1)
Computer Science (1)
Textbooks (1)

Books by Jim Woodcock

Total count: 15

Software engineering mathematicsformal methods demystified

Pitman1988-01-01
Using ZSpecification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)

Prentice Hall1996-07-01
St. Louis Blues hockey club, 1967-2002Note by note

Pinnacle Press2002-01-01
Formal Methods and Software Engineering5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

Springer London, Limited2003-01-01
Refinement Techniques in Software EngineeringFirst Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures

Springer London, Limited2006-01-01
Domain Modeling and the Duration CalculusInternational Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures

Springer London, Limited2007-01-01
Formal Methods and Hybrid Real-Time SystemsEssays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Springer London, Limited2007-01-01
Verified Software : Theories, Tools, ExperimentsSecond International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

Springer London, Limited2008-01-01
Formal Methods : Foundations and Applications12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Springer London, Limited2009-01-01
Theoretical Aspects of Computing7th International Colloquium, Natal, Rio Grande Do Norte, Brazil, September 1-3, 2010, Proceedings

Springer London, Limited2010-01-01
Theories of Programming and Formal MethodsEssays Dedicated to Jifeng He on the Occasion of His 70th Birthday

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

Springer London, Limited2013-01-01
Unifying Theories of Programming and Formal Engineering MethodsInternational Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Springer London, Limited2013-01-01
Software Engineering for Robotics

Springer International Publishing AG2021-01-01
Dependable Software Engineering. Theories, Tools, and Applications7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings

Springer International Publishing AG2021-01-01