دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
دانلود کتاب روش‌های رسمی و مهندسی نرم‌افزار: بیست و یکمین کنفرانس بین‌المللی روش‌های مهندسی رسمی، ICFEM 2019، شنژن، چین، 5 تا 9 نوامبر 2019، مجموعه مقالات
مشخصات کتاب
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
ویرایش: [1st ed. 2019]
نویسندگان: Yamine Ait-Ameur. Shengchao Qin
سری: Lecture Notes in Computer Science 11852
ISBN (شابک) : 9783030324087, 9783030324094
ناشر: Springer International Publishing
سال نشر: 2019
تعداد صفحات: XXI, 528
[543]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 20 Mb
قیمت کتاب (تومان) : 39,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش‌های رسمی و مهندسی نرم‌افزار: بیست و یکمین کنفرانس بین‌المللی روش‌های مهندسی رسمی، ICFEM 2019، شنژن، چین، 5 تا 9 نوامبر 2019، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Der Vorsitzende im Arbeitsgerichtlichen Verfahren
دانلود کتاب Could it be this simple? : a biblical model for healing the mind
دانلود کتاب Insensitive Semantics: A Defense of Semantic Minimalism and Speech Act Pluralism
دانلود کتاب Financial reporting, financial statement analysis, and valuation: a strategic perspective
