دانلود کتاب Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I
| عنوان فارسی | استفاده از روش های رسمی، تایید و تایید: تکنیک های پایه: هفتمین همایش بین المللی، ISoLA 2016، امپریال، کورفو، یونان، 10 تا 14 اکتبر 2016، پرونده ها، قسمت اول |
|---|---|
| عنوان اصلی | Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I |
| ویرایش | 1 |
| ناشر | Springer International Publishing |
| نویسنده | Tiziana Margaria, Bernhard Steffen (eds.) |
| ISBN | 9783319471662, 9783319471655 |
| سال نشر | 2016 |
| زبان | English |
| تعداد صفحات | 984 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 52 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد
نحوه دریافت کتاب
این کتاب نسخه زبان اصلی است و ترجمه فارسی نیست.بعد از تکمیل فرایند خرید می توانید کتاب را دانلود نمایید. درصورت نیاز به تغییر فرمت کتاب به پشتیبان اطلاع دهید.کتاب های تصادفی