Formal Methods for Industrial Critical SystemsStefania Gnesi

Formal Methods for Industrial Critical Systems

Stefania Gnesi, Tiziana Margaria · 2012

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 2012
שפה: English
הוצאה: IEEE Computer Society Press
מהדורות: 5
עמודים: 292
ISBN: 9781118459881

מקור הנתונים: Wikidata

עוד של Stefania Gnesi

Fundamental Approaches to Software EngineeringStefania Gnesi

Fundamental Approaches to Software Engineering

Stefania Gnesi · 2014

Proceedings of the 2nd FME Workshop on Formal Methods in Software EngineeringStefania Gnesi

Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering

Stefania Gnesi · 2014

Proceedings of the 18th International Software Product Line ConferenceStefania Gnesi

Proceedings of the 18th International Software Product Line Conference

Stefania Gnesi · 2014

Proceedings of the Seventh International Workshop on Variability Modelling of Software-Intensive SystemsStefania Gnesi

Proceedings of the Seventh International Workshop on Variability Modelling of Software-Intensive Systems

Stefania Gnesi · 2013