ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

دانلود کتاب استفاده از کاربردهای روش های رسمی، تأیید و اعتبارسنجی: بحث، انتشار، برنامه های کاربردی: هفتمین سمپوزیوم بین المللی، ISoLA 2016، امپریال، کورفو، یونان، 10-14 اکتبر 2016، مجموعه مقالات، قسمت دوم

مشخصات کتاب

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

ویرایش: [1 ed.] 
نویسندگان: Tiziana Margaria. Bernhard Steffen (eds.)  
سری: Lecture Notes in Computer Science 9953 
ISBN (شابک) : 9783319471686, 9783319471693 
ناشر: Springer International Publishing 
سال نشر: 2016 
تعداد صفحات: XXIV, 866
[873] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 64 Mb

قیمت کتاب (تومان) : 39,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 2

در صورت تبدیل فایل کتاب Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب استفاده از کاربردهای روش های رسمی، تأیید و اعتبارسنجی: بحث، انتشار، برنامه های کاربردی: هفتمین سمپوزیوم بین المللی، ISoLA 2016، امپریال، کورفو، یونان، 10-14 اکتبر 2016، مجموعه مقالات، قسمت دوم نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.