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

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

25 Years of Model Checking: History, Achievements, Perspectives

نویسنده: Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2008

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

زبان: English

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

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