bib.howest.be Zoekresultaten

U zocht naar: Auteur Cavalcanti, Ana

1 - 9 van 9

1. Critical Systems: Formal Methods and Automated Verification

Auteur:: Petrucci; Cavalcanti, Ana; Seceleanu, Cristina
Uitgever:: Springer International Publishing 2017
Type:: e-book

2. Organ Transplantation and Native Peoples : An Interdisciplinary Approach

Auteur:: Fernandes, Estevão Rafael.; Nobrega Cavalcanti, Ana Karoline
Uitgever:: Cham Springer International Publishing AG 2023
Type:: e-book

3. Formal Methods and Software Engineering

Auteur:: Breitman, Karin; Cavalcanti, Ana; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

4. Refinement Techniques in Software Engineering

Auteur:: Cavalcanti, Ana; Kanade, Takeo; Sampaio, Augusto; Woodcock, Jim
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

5. Theoretical Aspects of Computing - ICTAC 2006

Auteur:: Barkaoui, Kamel; Cavalcanti, Ana; Cerone, Antonio; Kanade, Takeo
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

6. Software Engineering for Robotics

Auteur:: Cavalcanti, Ana; Dongol, Brijesh; Hierons, Rob; Timmis, Jon; Woodcock, Jim
Uitgever:: Springer International Publishing 2021
Type:: e-book

7. Testing Techniques in Software Engineering

Auteur:: Borba, Paulo; Cavalcanti, Ana; Kanade, Takeo; Sampaio, Augusto; Woodcook, Jim
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

8. FM 2009: Formal Methods

Auteur:: Cavalcanti, Ana; Dams, Dennis R.; Kanade, Takeo; Dams, Dennis; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

9. Theoretical Aspects of Computing – ICTAC 2010

Auteur:: Cavalcanti, Ana; Deharbe, David; Gaudel, Marie-Claude; Kanade, Takeo; Woodcock, Jim
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book