Refinement Techniques in Software EngineeringAna Cavalcanti
Refinement Techniques in Software Engineering
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock · 2006
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2006
- Language
- English
- Publisher
- Springer London, Limited
- Editions
- 1
- Pages
- 396
- ISBN
- 9783540462545
Data source: Wikidata
More by Ana Cavalcanti
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