booktheque

Formal Modeling and Analysis of Timed Systems

Marcin Jurdzinski, Dejan Nickovic · 2012

איפה לקנות

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

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

פרטי הספר

שנה
2012
שפה
English
הוצאה
Springer Berlin / Heidelberg
מהדורות
1
עמודים
267
ISBN
9783642333644

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