booktheque

Theoretical and Practical Aspects of SPIN Model Checking

Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek · 2003

איפה לקנות

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

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

פרטי הספר

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

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

עוד של Dennis Dams

Concurrency, Compositionality, and Correctness
Dennis Dams · 2010