Jim Woodcock profile picture

Jim Woodcock

Stand Alone

Software Engineering Mathematics (Sei Series in Software Engineering)
Formal Methods Foundations and Applications Lecture Notes in Computer Science
St. Louis Blues Hockey Club, 1967-2002 Note by Note
Using Z
Z Grammar and Concrete and Abstract Syntaxes
Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings
Software Engineering for Robotics
Software Engineering for Robotics
App Design: How to Conceive, Design and Market Apps