booktheque

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria · 2017

איפה לקנות

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

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

פרטי הספר

שנה
2017
שפה
English
הוצאה
Springer Berlin / Heidelberg
מהדורות
3
עמודים
609
ISBN
9783662545768

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

עוד של Axel Legay

Runtime Verification
Axel Legay · 2013
Formal Modeling and Analysis of Timed Systems
Axel Legay · 2014