booktheque

Formal Methods for Industrial Critical Systems

Stefan Leue, Pedro Merino · 2008

איפה לקנות

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

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

פרטי הספר

שנה
2008
שפה
English
הוצאה
Springer London, Limited
מהדורות
1
ISBN
9783540797074

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

עוד של Stefan Leue

Model checking software
Stefan Leue · 2002
Scenarios : Models, Transformations and Tools
Stefan Leue · 2005