Ana Cavalcanti
Ana Cavalcanti
5 ספרים במאגר
ספרים
Towards Autonomous Robotic SystemsAna Cavalcanti
Towards Autonomous Robotic Systems
Ana Cavalcanti · 2025
Software Engineering for RoboticsAna Cavalcanti
Software Engineering for Robotics
Ana Cavalcanti · 2022
Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 ProceedingsAna Cavalcanti
Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings
Ana Cavalcanti · 2010
FM 2009 : Formal MethodsAna Cavalcanti
FM 2009 : Formal Methods
Ana Cavalcanti · 2009
Refinement Techniques in Software EngineeringAna Cavalcanti
Refinement Techniques in Software Engineering
Ana Cavalcanti · 2006
ספרים משותפים ואוספים
ספרים שבהם Ana Cavalcanti מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Theoretical aspects of computingKamel Barkaoui
Theoretical aspects of computing
Kamel Barkaoui · 2006
Fundamental Approaches to Software EngineeringDirk Beyer
Fundamental Approaches to Software Engineering
Dirk Beyer · 2024
Critical SystemsLaure Petrucci
Critical Systems
Laure Petrucci · 2017
Testing Techniques in Software EngineeringPaulo Borba
Testing Techniques in Software Engineering
Paulo Borba · 2010
Formal Methods and Software EngineeringKarin Breitman
Formal Methods and Software Engineering
Karin Breitman · 2009
Theoretical Aspects of Computing - ICTAC 2006Kamel Barkaoui
Theoretical Aspects of Computing - ICTAC 2006
Kamel Barkaoui · 2006