ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

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

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

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

دانلود کتاب مهندسی نرم افزار و روش های رسمی: نوزدهمین کنفرانس بین المللی، SEFM 2021، رویداد مجازی، 6 تا 10 دسامبر 2021، مجموعه مقالات

Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

مشخصات کتاب

Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

ویرایش: [1 ed.] 
نویسندگان:   
سری: Lecture Notes in Computer Science, 13085 
ISBN (شابک) : 3030921239, 9783030921248 
ناشر: Springer 
سال نشر: 2021 
تعداد صفحات: 537
[524] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 22 Mb 

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



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مهندسی نرم افزار و روش های رسمی: نوزدهمین کنفرانس بین المللی، SEFM 2021، رویداد مجازی، 6 تا 10 دسامبر 2021، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مهندسی نرم افزار و روش های رسمی: نوزدهمین کنفرانس بین المللی، SEFM 2021، رویداد مجازی، 6 تا 10 دسامبر 2021، مجموعه مقالات



این کتاب مجموعه مقالات داوری نوزدهمین کنفرانس بین المللی مهندسی نرم افزار و روش های رسمی، SEFM 2021 است که به صورت یک رویداد مجازی در دسامبر 2021 برگزار شد.

22 مقاله کامل همراه با 4 مقاله کوتاه ارائه شده است. مقالات به دقت بررسی و از بین 86 مورد ارسالی انتخاب شدند. همچنین شامل 2 سخنرانی دعوت شده و چکیده یک سخنرانی اصلی است. این مقالات موضوعات مختلفی از جمله تست، تأیید رسمی، تجزیه و تحلیل برنامه، تأیید زمان اجرا، فرابرنامه‌نویسی و توسعه و تکامل نرم‌افزار را پوشش می‌دهند.


فصل «کاوش فضای پیکربندی برای سیستم‌های چاپ دیجیتال» تحت مجوز Creative Commons Attribution 4.0 بین‌المللی از طریق link.springer.com با دسترسی آزاد در دسترس است.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021.

The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. Also included are 2 invited talks and an abstract of a keynote talk. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution.


Chapter 'Configuration Space Exploration for Digital Printing Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.





نظرات کاربران