Search

You searched for: Auteur Woodcock, Jim Remove constraint Auteur: Woodcock, Jim
« Previous | 1 - 10 of 13 |
Number of results to display per page

Search Results

1. Theoretical Aspects of Computing – ICTAC 2013
thumbnail
Full text!
Author:
Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao; Woodcock, Jim; Zhu, Huibiao
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
2. Theories of Programming and Formal Methods
thumbnail
Full text!
Author:
Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao; Woodcock, Jim; Zhu, Huibiao
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
3. Unifying Theories of Programming and Formal Engineering Methods
thumbnail
Full text!
Author:
Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao; Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
4. Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings
thumbnail
Full text!
Author:
Qin, Shengchao.; Woodcock, Jim; Zhang, Wenhui
Publisher:
Cham Springer International Publishing AG 2021
Format:
e-book
5. Formal Methods: Foundations and Applications
thumbnail
Full text!
Author:
Oliveira, Marcel Vinícius Medeiros; Kanade, Takeo; Woodcock, Jim
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book
6. Refinement Techniques in Software Engineering
thumbnail
Full text!
Author:
Cavalcanti, Ana; Kanade, Takeo; Sampaio, Augusto; Woodcock, Jim
Publisher:
Springer Berlin Heidelberg 2006
Format:
e-book
7. Verified Software: Theories, Tools, Experiments
thumbnail
Full text!
Author:
Meyer, Bertrand; Kanade, Takeo; Woodcock, Jim; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book
8. Verified Software: Theories, Tools, Experiments
thumbnail
Full text!
Author:
Shankar, Natarajan; Kanade, Takeo; Woodcock, Jim; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book
9. Software Engineering for Robotics
thumbnail
Full text!
Author:
Cavalcanti, Ana; Dongol, Brijesh; Hierons, Rob; Timmis, Jon; Woodcock, Jim
Publisher:
Springer International Publishing 2021
Format:
e-book
10. Theoretical Aspects of Computing – ICTAC 2010
thumbnail
Full text!
Author:
Cavalcanti, Ana; Deharbe, David; Gaudel, Marie-Claude; Kanade, Takeo; Woodcock, Jim
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book