دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.]
نویسندگان: Radu Calinescu (editor). Corina S. Păsăreanu (editor)
سری: Lecture Notes in Computer Science, 13085
ISBN (شابک) : 3030921239, 9783030921248
ناشر: Springer
سال نشر: 2021
تعداد صفحات: 537
[524]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 22 Mb
در صورت تبدیل فایل کتاب 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 است که به صورت یک رویداد مجازی در دسامبر 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.