You are here: Home › Author › Jim Woodcock
Jim Woodcock

Jim Woodcock

28 books

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

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

by Jim Woodcock

3.29 of 7

St. Louis Blues Hockey Club 1967-2002: Note by note

St. Louis Blues Hockey Club 1967-2002: Note by note

by Jim Woodcock

4.50 of 4

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, ... Computer Science and General Issues)

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, ... Computer Science and General Issues)

by Zhiming Liu

4.00 of 2

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

by Zhiming Liu

4.00 of 1

Software Engineering Mathematics (Sei Series in Software Engineering)

Software Engineering Mathematics (Sei Series in Software Engineering)

by Jim Woodcock

3.00 of 1

Software Engineering Mathematics: Formal Methods Demystified

Software Engineering Mathematics: Formal Methods Demystified

by Jim Woodcock

0.0 of 0

App Design: How to Conceive, Design and Market Apps

App Design: How to Conceive, Design and Market Apps

by Jim Woodcock

0.0 of 0

Software Engineering for Robotics

Software Engineering for Robotics

by Ana Cavalcanti

0.0 of 0

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected ... Notes in Computer Science Book 5902)

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected ... Notes in Computer Science Book 5902)

by Marcel Vinícius Medeiros Oliveira

0.0 of 0

Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings (Lecture Notes in Computer Science Book 8049)

Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings (Lecture Notes in Computer Science Book 8049)

by Zhiming Liu

0.0 of 0

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected ... Notes in Computer Science Book 4171)

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected ... Notes in Computer Science Book 4171)

by Bertrand Meyer

0.0 of 0

Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings ... Notes in Computer Science Book 13071)

Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings ... Notes in Computer Science Book 13071)

by Shengchao Qin

0.0 of 0

Software Engineering for Robotics

Software Engineering for Robotics

by Ana Cavalcanti

0.0 of 0

Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings ... Notes in Computer Science Book 13071)

Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings ... Notes in Computer Science Book 13071)

by Shengchao Qin

0.0 of 0

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures (Lecture Notes in Computer Science, 4710)

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures (Lecture Notes in Computer Science, 4710)

by Chris George

0.0 of 0

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

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

by Zhiming Liu

0.0 of 0

Fme '96, Industrial Benefit of Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by Ifip Wg 14.3, Oxford, Uk, March ... (Lecture Notes in Computer Science)

Fme '96, Industrial Benefit of Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by Ifip Wg 14.3, Oxford, Uk, March ... (Lecture Notes in Computer Science)

by England International Symposium of Formal Methods Europe 1996 Oxford

0.0 of 0

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised ... (Lecture Notes in Computer Science, 4171)

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised ... (Lecture Notes in Computer Science, 4171)

by Bertrand Meyer

0.0 of 0