خانه / تمامی کتاب‌ها / کتاب 25 Years of Model Checking: History, Achievements, Perspectives

دانلود کتاب 25 Years of Model Checking: History, Achievements, Perspectives

Name: 25 Years of Model Checking: History, Achievements, Perspectives
Rating: 4.8 (11 reviews)
Author: Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)

دانلود کتاب 25 Years of Model Checking: History, Achievements, Perspectives

نویسنده: Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)

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

ناشر: Springer-Verlag Berlin Heidelberg

سال: ۲۰۰۸

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

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

حجم فایل

۲.۴۱ مگابایت

تعداد صفحات

۲۳۷.۰

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

توضیحات

معرفی کتاب 25 Years of Model Checking: History, Achievements, Perspectives

کتاب 25 Years of Model Checking: History, Achievements, Perspectives نوشته Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.) یکی از آثار مهم در حوزه مربوطه محسوب می‌شود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقه‌مندان به این موضوع بسیار مناسب می‌باشد.