دانلود کتاب Systems and Software Verification: Model-Checking Techniques and Tools

49,000 تومان
تأیید سیستم ها و نرم افزار: تکنیک ها و ابزارهای بررسی مدل
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 105
حجم فایل 4.59 مگابایت
کد کتاب 3540415238 , 9783540415237