Systems and Software Verification: Model-Checking Techniques and Tools

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

75000 تومان موجود

کتاب تأیید سیستم ها و نرم افزار: تکنیک ها و ابزارهای بررسی مدل

دانلود کتاب تأیید سیستم ها و نرم افزار: تکنیک ها و ابزارهای بررسی مدل بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید



امتیاز شما به این کتاب (حداقل 1 و حداکثر 5):

امتیاز کاربران به این کتاب:        تعداد رای دهنده ها: 8


توضیحاتی در مورد کتاب Systems and Software Verification: Model-Checking Techniques and Tools

نام کتاب : Systems and Software Verification: Model-Checking Techniques and Tools
ویرایش : 1
عنوان ترجمه شده به فارسی : تأیید سیستم ها و نرم افزار: تکنیک ها و ابزارهای بررسی مدل
سری :
نویسندگان : , , , , , , ,
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2001
تعداد صفحات : 185
ISBN (شابک) : 9783642074783 , 9783662045589
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 6 مگابایت


بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.




پست ها تصادفی