Ana Cavalcanti

Identifiers

Open LibraryOL7311965A

Top Subjects

Information theory (1)
Electronic data processing (1)
Software engineering (1)

Books by Ana Cavalcanti

Total count: 9

Theoretical Aspects of Computing - ICTAC 2006Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings

Springer London, Limited2006-01-01
Refinement Techniques in Software EngineeringFirst Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures

Springer London, Limited2006-01-01
Formal Methods and Software Engineering11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings

Springer London, Limited2009-01-01
FM 2009 : Formal MethodsSecond World Congress, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings

Springer London, Limited2009-01-01
Theoretical Aspects of Computing7th International Colloquium, Natal, Rio Grande Do Norte, Brazil, September 1-3, 2010, Proceedings

Springer London, Limited2010-01-01
Testing Techniques in Software EngineeringSecond Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures

Springer London, Limited2010-01-01
Critical SystemsFormal Methods and Automated Verification

Springer2017-08-25
Software Engineering for Robotics

Springer International Publishing AG2021-01-01
Fundamental Approaches to Software Engineering27th 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

Springer2024-01-01