booktheque

Verification, Model Checking, and Abstract Interpretation (vol. # 3855)

Kedar S. Namjoshi · 2006

איפה לקנות

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

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

פרטי הספר

שנה
2006
שפה
English
הוצאה
Springer
מהדורות
1
עמודים
443
ISBN
9783540311393

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

עוד של Kedar S. Namjoshi

Hardware and Software: Verification and Testing
Kedar S. Namjoshi · 2011
Verification, Model Checking, and Abstract Interpretation
Kedar S. Namjoshi · 2007