STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Ana Cavalcanti | lit.salon
Ana Cavalcanti
No bio available.
Add one in Open Library.
Books by Ana Cavalcanti (50 max)
+ shelf
+ list
Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings (Lecture Notes in Computer Science)
2006
Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone
+ shelf
+ list
Software Engineering for Robotics
2021
Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock
+ shelf
+ list
Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
2006
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
+ shelf
+ list
Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
2006
Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone
+ shelf
+ list
Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
2009
Karin Breitman, Ana Cavalcanti
+ shelf
+ list
FM 2009 : Formal Methods: Second World Congress, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings
2009
Ana Cavalcanti, Dennis Dams
+ shelf
+ list
Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
2010
Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook
+ shelf
+ list
Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings
2010
Ana Cavalcanti
+ shelf
+ list
Critical Systems : Formal Methods and Automated Verification
2017
Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
+ shelf
+ list
Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings
2024
Dirk Beyer, Ana Cavalcanti
+ shelf
+ list
Towards Autonomous Robotic Systems 26th Annual Conference, TAROS 2025, York, UK, August 20-22, 2025, Proceedings
2025
Ana Cavalcanti, Simon Foster, Robert Richardson
