Verification, Model Checking, and Abstract InterpretationKedar S. Namjoshi

Verification, Model Checking, and Abstract Interpretation

Kedar S. Namjoshi, Andreas Podelski · 2007

איפה לקנות

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

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

פרטי הספר

שנה: 2007
שפה: English
הוצאה: Springer
מהדורות: 4
עמודים: 395
ISBN: 9783540697350

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

עוד של Kedar S. Namjoshi

Hardware and Software: Verification and TestingKedar S. Namjoshi

Hardware and Software: Verification and Testing

Kedar S. Namjoshi · 2011

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

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

Kedar S. Namjoshi · 2006