برنامه نويسي

بررسی مدل

Model checking

دانلود کتاب 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

توضیحات کتاب بررسی مدل

بررسی مدل موظف است منبع اصلی برای تحقیق، آموزش و تمرین صنعتی در مورد این موضوع مهم باشد. نویسندگان شامل برجسته ترین متخصصان هستند. این اولین درمان واقعاً جامع از یک خط تحقیقاتی است که تنها در دو دهه از مفهوم به عمل صنعتی رسیده است.

Model Checking is bound to be the pre-eminent source for research, teaching, and industrial practice on this important subject. The authors include the foremost experts. This is the first truly comprehensive treatment of a line of research that has gone from conception to industrial practice in only two decades.

دانلود کتاب «بررسی مدل»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها

دیدگاهتان را بنویسید

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان