دانلود کتاب Model checking (به فارسی: بررسی مدل) نوشته شده توسط «Edmund M. Clarke Jr. – Orna Grumberg – Doron A. Peled»
اطلاعات کتاب بررسی مدل
نوع: کتاب الکترونیکی
ناشر: MIT Press
نویسنده: Edmund M. Clarke Jr. – Orna Grumberg – Doron A. Peled
زبان: english
فرمت کتاب: DJVU (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1999
تعداد صفحه: 326
حجم فایل: 1.88 مگابایت
کد کتاب: 0585385580 , 9780585385587
توضیحات کتاب بررسی مدل
بررسی مدل موظف است منبع اصلی برای تحقیق، آموزش و تمرین صنعتی در مورد این موضوع مهم باشد. نویسندگان شامل برجسته ترین متخصصان هستند. این اولین درمان واقعاً جامع از یک خط تحقیقاتی است که تنها در دو دهه از مفهوم به عمل صنعتی رسیده است.
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.