booktheque

Tools and Algorithms for the Construction and Analysis of Systems

Nicolas Halbwachs, Lenore Zuck · 2005

איפה לקנות

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

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

פרטי הספר

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

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

עוד של Nicolas Halbwachs

Synchronous programming of reactive systems
Nicolas Halbwachs · 2013
Computer aided verification
Nicolas Halbwachs · 1999