Search

You searched for: Auteur Cavalcanti, Ana Remove constraint Auteur: Cavalcanti, Ana
1 - 9 of 9
Number of results to display per page

Search Results

1. Critical Systems: Formal Methods and Automated Verification
thumbnail
Full text!
Author:
Petrucci; Cavalcanti, Ana; Seceleanu, Cristina
Publisher:
Springer International Publishing 2017
Format:
e-book
2. Organ Transplantation and Native Peoples : An Interdisciplinary Approach
thumbnail
Full text!
Author:
Fernandes, Estevão Rafael.; Nobrega Cavalcanti, Ana Karoline
Publisher:
Cham Springer International Publishing AG 2023
Format:
e-book
3. Formal Methods and Software Engineering
thumbnail
Full text!
Author:
Breitman, Karin; Cavalcanti, Ana; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book
4. 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
5. Theoretical Aspects of Computing - ICTAC 2006
thumbnail
Full text!
Author:
Barkaoui, Kamel; Cavalcanti, Ana; Cerone, Antonio; Kanade, Takeo
Publisher:
Springer Berlin Heidelberg 2006
Format:
e-book
6. 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
7. Testing Techniques in Software Engineering
thumbnail
Full text!
Author:
Borba, Paulo; Cavalcanti, Ana; Kanade, Takeo; Sampaio, Augusto; Woodcook, Jim
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book
8. FM 2009: Formal Methods
thumbnail
Full text!
Author:
Cavalcanti, Ana; Dams, Dennis R.; Kanade, Takeo; Dams, Dennis; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book
9. 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