خرید و دانلود نسخه کامل کتاب Architecting Critical Systems: First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings
قیمت اصلی 50,500 تومان بود.33,000 تومانقیمت فعلی 33,000 تومان است.
خرید و دانلود نسخه کامل کتاب Multivariable Computer-Controlled Systems: A Transfer Function Approach (Communications and Control Engineering)
قیمت اصلی 67,500 تومان بود.50,000 تومانقیمت فعلی 50,000 تومان است.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
04ساعت
07دقیقه
55ثانیه
-37%
خرید و دانلود نسخه کامل کتاب Model checking
قیمت اصلی 47,500 تومان بود.30,000 تومانقیمت فعلی 30,000 تومان است.
تعداد فروش: 66
| عنوان فارسی |
چک کردن مدل |
|---|---|
| عنوان اصلی | Model checking |
| ناشر | MIT Press |
| نویسنده | Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled |
| ISBN | 0262032708, 9780585385587 |
| سال نشر | 1999 |
| زبان | English |
| تعداد صفحات | 326 |
| دسته | کامپیوتر |
| فرمت کتاب | djvu – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 2 مگابایت |
1
آیتم فروخته شده در 30 دقیقه
5
نفر در حال مشاهده این محصول هستند!
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.