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