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

دانلود کتاب Model Checking (Cyber Physical Systems Series)

49,000 تومان
بررسی مدل (سری سیستم‌های فیزیکی سایبری)
نوع کالا کتاب الکترونیکی
ناشر The MIT Press
تعداد صفحه 424
حجم فایل 15.52 مگابایت
کد کتاب 0262038838 , 9780262038836
نوبت چاپ 2
افزودن به سبد خرید
PDF

دانلود کتاب Model Checking Software: 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings

49,000 تومان
نرم افزار بررسی مدل: هشتمین کارگاه بین المللی SPIN تورنتو، کانادا، 19 تا 20 مه، 2001 مجموعه مقالات
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 318
حجم فایل 3 مگابایت
کد کتاب 3540421246,9783540421245
نوبت چاپ 1
افزودن به سبد خرید