خانه / تمامی کتاب‌ها / کتاب Model checking

دانلود کتاب Model checking

Name: Model checking
Rating: 4.8 (11 reviews)
Author: Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

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

شماره سریال: ۹۷۸۰۵۸۵۳۸۵۵۸۷

ناشر: MIT Press

سال: ۱۹۹۹

نسخه ناشر (کیفیت اصلی)

امتیاز کاربران: (۰.۰) :

حجم فایل

۲.۰۲ مگابایت

تعداد صفحات

۳۲۶.۰

قیمت کتاب: ۶۰,۹۰۰ تومان

انتخاب فرمت فایل:

PDF EPUB

توضیحات

معرفی کتاب Model checking

کتاب Model checking نوشته Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled یکی از آثار مهم در حوزه مربوطه محسوب می‌شود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقه‌مندان به این موضوع بسیار مناسب می‌باشد.