خرید و دانلود نسخه کامل کتاب 25 Years of Model Checking History, Achievements, Perspectives

25 سال بررسی مدل، تاریخچه، دستاوردها، دیدگاه ها

25 Years of Model Checking History, Achievements, Perspectives

نویسنده: Grumberg, Orna.;Veith, Helmut

ناشر: Springer Berlin Heidelberg

سال انتشار: 2008

تعداد صفحات: 238

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 42 مگابایت