اگه کتاب خاصی میخواید کلیک کنید >
خرید و دانلود نسخه کامل کتاب Embedded and Ubiquitous Computing: International Conference EUC 2004, Aizu-Wakamatsu City, Japan, August 25-27, 2004. Proceedings
قیمت اصلی 169,000 تومان بود.94,000 تومانقیمت فعلی 94,000 تومان است.
خرید و دانلود نسخه کامل کتاب New Approaches in Software Measurement: 10th International Workshop, IWSM 2000 Berlin, Germany, October 4–6, 2000 Proceedings
قیمت اصلی 173,000 تومان بود.98,000 تومانقیمت فعلی 98,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
09ساعت
19دقیقه
15ثانیه
-45%
خرید و دانلود نسخه کامل کتاب Model Checking Software: 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings
قیمت اصلی 167,000 تومان بود.92,000 تومانقیمت فعلی 92,000 تومان است.
تعداد فروش: 72
| عنوان فارسی |
نرم افزار بررسی مدل: هشتمین کارگاه بین المللی SPIN تورنتو ، کانادا ، مجموعه مقالات 19 تا 20 مه ، 2001 |
|---|---|
| عنوان اصلی | Model Checking Software: 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Doron Peled, Lenore Zuck (auth.), Matthew Dwyer (eds.) |
| ISBN | 3540421246, 9783540421245 |
| سال نشر | 2001 |
| زبان | English |
| تعداد صفحات | 321 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 3 مگابایت |
2
آیتم فروخته شده در 55 دقیقه
3
نفر در حال مشاهده این محصول هستند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب مجموعه مقالات داوری هشتمین کارگاه بینالمللی SPIN است که در تورنتو، کانادا، در ماه می 2001 برگزار شد.
کاوشگر مدل SPIN یکی از قدرتمندترین و محبوبترین سیستمها برای تجزیه و تحلیل و راستیآزمایی توزیعشده و همزمان است. سیستم ها.
13 مقاله کامل اصلاح شده ارائه شده همراه با یک مقاله نظرسنجی دعوت شده و سه گزارش تجربه صنعتی دعوت شده به دقت بررسی و از بین 26 مورد ارسالی انتخاب شدند. علاوه بر مسائل اساسی تجزیه و تحلیل برنامه و تأیید رسمی، مقالات بر ابزارهایی برای بررسی مدل و کاربردهای عملی در زمینه های مختلف تمرکز دارند.
نظرات (0)
نقد و بررسیها
هنوز بررسیای ثبت نشده است.