نمایش سایدبار
نمایش 12 24 36 همه
PDF

دانلود کتاب Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings

49,000 تومان
نرم افزار بررسی مدل: دوازدهمین کارگاه بین المللی SPIN، سانفرانسیسکو، کالیفرنیا، ایالات متحده آمریکا، 22-24 اوت، 2005. مجموعه مقالات
موضوع اصلی برنامه نویسی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 292
حجم فایل 4 مگابایت
کد کتاب 9783540281955
نوبت چاپ 1
افزودن به سبد خرید
DJVU

دانلود کتاب Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem

49,000 تومان
روش‌های سفارش جزئی برای تأیید سیستم‌های همزمان: رویکردی به مسئله انفجار حالت
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 143
حجم فایل 1 مگابایت
کد کتاب 3540607617,9783540607618
نوبت چاپ 1
افزودن به سبد خرید