FM 2009 : Formal MethodsAna Cavalcanti
FM 2009 : Formal Methods
Ana Cavalcanti, Dennis Dams · 2009
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2009
- שפה
- English
- הוצאה
- Springer London, Limited
- מהדורות
- 1
- ISBN
- 9783642050893
מקור הנתונים: Wikidata
עוד של 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
Refinement Techniques in Software EngineeringAna Cavalcanti
Refinement Techniques in Software Engineering
Ana Cavalcanti · 2006