خرید و دانلود نسخه کامل کتاب Model checking

چک کردن مدل

Model checking

نویسنده: Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

ناشر: MIT Press

سال انتشار: 1999

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

زبان: English

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

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