دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings
دانلود کتاب مهندسی نرم افزار قابل اعتماد نظریه ها، ابزارها و کاربردها: ششمین سمپوزیوم بین المللی، SETTA 2020، گوانگژو، چین، 24 تا 27 نوامبر 2020، مجموعه مقالات
مشخصات کتاب
Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings
ویرایش: [1st ed.]
نویسندگان: Jun Pang. Lijun Zhang
سری: Lecture Notes in Computer Science 12153
ISBN (شابک) : 9783030628215, 9783030628222
ناشر: Springer International Publishing;Springer
سال نشر: 2020
تعداد صفحات: XIII, 203
[214]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 12 Mb
قیمت کتاب (تومان) : 39,000
در صورت تبدیل فایل کتاب Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی نرم افزار قابل اعتماد نظریه ها، ابزارها و کاربردها: ششمین سمپوزیوم بین المللی، SETTA 2020، گوانگژو، چین، 24 تا 27 نوامبر 2020، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مهندسی نرم افزار قابل اعتماد نظریه ها، ابزارها و کاربردها: ششمین سمپوزیوم بین المللی، SETTA 2020، گوانگژو، چین، 24 تا 27 نوامبر 2020، مجموعه مقالات
این کتاب مجموعه مقالات ششمین سمپوزیوم بین المللی مهندسی نرم افزار قابل اعتماد، SETTA 2020 است که در گوانگژو، چین، در نوامبر 2020 برگزار شد.
10 مقاله کامل و 1 مقاله کوتاه موجود در این جلد به دقت بررسی و از بین 20 مورد ارسالی انتخاب شد. آنها با آخرین نتایج تحقیقات و ایده ها در مورد پر کردن شکاف بین روش های رسمی و مهندسی نرم افزار سروکار دارند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020.
The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Raising a Teenager. Parents and the Nurturing of a Responsible Teen
دانلود کتاب Manana En La Batalla Piensa En Mi (Punto de Lectura) (Spanish Edition)
دانلود کتاب Filosofia - Iniciação à Investigação Filosófica
دانلود کتاب Evidence-Based Treatment for Alcohol and Drug Abuse: A Practititioner's Guide to Theory, Methods, and Practice (Practical Clinical Guidebooks Series)
