booktheque

Model Checking Software

Vincenzo Ciancia, Arnd Hartmanns · 2026

איפה לקנות

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

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

פרטי הספר

שנה
2026
שפה
English
הוצאה
Springer
מהדורות
1
עמודים
120
ISBN
9783032356376

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