Jim Woodcock - Böcker

Visar alla böcker från författaren Jim Woodcock.
14 produkter
Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock - Software Engineering for Robotics, Inbunden

Software Engineering for Robotics

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

Inbunden, Engelska, 2021

1 699 kr

Skickas inom 10-15 vardagar
Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock - Software Engineering for Robotics, Häftad

Software Engineering for Robotics

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

Häftad, Engelska, 2022

1 699 kr

Skickas inom 10-15 vardagar
Shengchao Qin, Jim Woodcock, Wenhui Zhang - Dependable Software Engineering. Theories, Tools, and Applications, Häftad

Dependable Software Engineering. Theories, Tools, and Applications

Av Shengchao Qin, Jim Woodcock, Wenhui Zhang

Häftad, Engelska, 2021

1 089 kr

Skickas måndag 1/12
Jin Song Dong, Jim Woodcock - Formal Methods and Software Engineering, Häftad
Del 2885 - Lecture Notes in Computer Science

Formal Methods and Software Engineering

Av Jin Song Dong, Jim Woodcock

Häftad, Engelska, 2003

1 459 kr

Skickas inom 10-15 vardagar
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock - Refinement Techniques in Software Engineering, Häftad

Refinement Techniques in Software Engineering

Av Ana Cavalcanti, Augusto Sampaio, Jim Woodcock

Häftad, Engelska, 2006

739 kr

Skickas inom 10-15 vardagar
Bertrand Meyer, Jim Woodcock - Verified Software: Theories, Tools, Experiments, Häftad

Verified Software: Theories, Tools, Experiments

Av Bertrand Meyer, Jim Woodcock

Häftad, Engelska, 2008

1 459 kr

Skickas inom 10-15 vardagar
Chris George, Zhiming Liu, Jim Woodcock - Domain Modeling and the Duration Calculus, Häftad

Domain Modeling and the Duration Calculus

Av Chris George, Zhiming Liu, Jim Woodcock

Häftad, Engelska, 2007

739 kr

Skickas inom 10-15 vardagar
Cliff B. Jones, Zhiming Liu, Jim Woodcock - Formal Methods and Hybrid Real-Time Systems, Häftad

Formal Methods and Hybrid Real-Time Systems

Av Cliff B. Jones, Zhiming Liu, Jim Woodcock

Häftad, Engelska, 2007

739 kr

Skickas inom 10-15 vardagar
Natarajan Shankar, Jim Woodcock - Verified Software: Theories, Tools, Experiments, Häftad

Verified Software: Theories, Tools, Experiments

Av Natarajan Shankar, Jim Woodcock

Häftad, Engelska, 2008

739 kr

Skickas inom 10-15 vardagar
Marcel Vinícius Medeiros Oliveira, Jim Woodcock - Formal Methods: Foundations and Applications, Häftad

Formal Methods: Foundations and Applications

Av Marcel Vinícius Medeiros Oliveira, Jim Woodcock

Häftad, Engelska, 2009

739 kr

Skickas inom 10-15 vardagar
Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock - Theoretical Aspects of Computing, Häftad

Theoretical Aspects of Computing

Av Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock

Häftad, Engelska, 2010

739 kr

Skickas inom 10-15 vardagar
Zhiming Liu, Jim Woodcock, Huibiao Zhu - Theories of Programming and Formal Methods, Häftad

Theories of Programming and Formal Methods

Av Zhiming Liu, Jim Woodcock, Huibiao Zhu

Häftad, Engelska, 2013

739 kr

Skickas inom 10-15 vardagar
Zhiming Liu, Jim Woodcock, Huibiao Zhu - Theoretical Aspects of Computing -- ICTAC 2013, Häftad

Theoretical Aspects of Computing -- ICTAC 2013

Av Zhiming Liu, Jim Woodcock, Huibiao Zhu

Häftad, Engelska, 2013

739 kr

Skickas inom 10-15 vardagar
Zhiming Liu, Jim Woodcock, Huibiao Zhu - Unifying Theories of Programming and Formal Engineering Methods, Häftad

Unifying Theories of Programming and Formal Engineering Methods

Av Zhiming Liu, Jim Woodcock, Huibiao Zhu

Häftad, Engelska, 2013

739 kr

Skickas inom 10-15 vardagar