دانلود کتاب استفاده از کاربردهای روش های رسمی، تأیید و اعتبارسنجی: بحث، انتشار، برنامه های کاربردی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
نام کتاب : Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
عنوان ترجمه شده به فارسی : استفاده از کاربردهای روش های رسمی، تأیید و اعتبارسنجی: بحث، انتشار، برنامه های کاربردی
سری :
نویسندگان : Tiziana Margaria, Bernhard Steffen
ناشر : Springer International Publishing
سال نشر :
تعداد صفحات : 0
زبان کتاب : English
فرمت کتاب : epub درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 10 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.