دانلود کتاب 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
کتاب استفاده از کاربردهای روش های رسمی، تأیید و اعتبارسنجی: بحث، انتشار، برنامه های کاربردی: هفتمین سمپوزیوم بین المللی، ISoLA 2016، امپریال، کورفو، یونان، 10-14 اکتبر 2016، مجموعه مقالات، قسمت دوم نسخه زبان اصلی
دانلود کتاب استفاده از کاربردهای روش های رسمی، تأیید و اعتبارسنجی: بحث، انتشار، برنامه های کاربردی: هفتمین سمپوزیوم بین المللی، 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
نام کتاب : 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.
عنوان ترجمه شده به فارسی : استفاده از کاربردهای روش های رسمی، تأیید و اعتبارسنجی: بحث، انتشار، برنامه های کاربردی: هفتمین سمپوزیوم بین المللی، ISoLA 2016، امپریال، کورفو، یونان، 10-14 اکتبر 2016، مجموعه مقالات، قسمت دوم
سری : Lecture Notes in Computer Science 9953
نویسندگان : Tiziana Margaria, Bernhard Steffen (eds.)
ناشر : Springer International Publishing
سال نشر : 2016
تعداد صفحات : XXIV, 866
[873]
ISBN (شابک) : 9783319471686 , 9783319471693
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 64 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی