Zoeken

U zocht naar: Auteur Woodcock, Jim Filter Auteur: Woodcock, Jim weghalen
« Vorige | 1 - 10 van 13 |
Aantal zoekresultaten per pagina

Zoekresultaten

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