Model checkingEdmund M. Clarke Jr.
Model checking
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 1999
- שפה
- English
- הוצאה
- The MIT Press
- מהדורות
- 6
- עמודים
- 314
- ISBN
- 9780262032704
מקור הנתונים: Wikidata