دانلود کتاب Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
کتاب روش‌های رسمی یکپارچه: پانزدهمین کنفرانس بین‌المللی، IFM 2019، برگن، نروژ، 2 تا 6 دسامبر 2019، مجموعه مقالات نسخه زبان اصلی
دانلود کتاب روش‌های رسمی یکپارچه: پانزدهمین کنفرانس بین‌المللی، IFM 2019، برگن، نروژ، 2 تا 6 دسامبر 2019، مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
نام کتاب : Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
ویرایش : 1st ed. 2019
عنوان ترجمه شده به فارسی : روش‌های رسمی یکپارچه: پانزدهمین کنفرانس بین‌المللی، IFM 2019، برگن، نروژ، 2 تا 6 دسامبر 2019، مجموعه مقالات
سری : Lecture Notes in Computer Science 11918
نویسندگان : Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa
ناشر : Springer International Publishing
سال نشر : 2019
تعداد صفحات : XVII, 554
[565]
ISBN (شابک) : 9783030349677 , 9783030349684
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 30 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات داوری پانزدهمین کنفرانس بین‌المللی روش‌های رسمی یکپارچه، IFM 2019، برگزار شده در برگن، نروژ، در دسامبر 2019 است.
25 مقاله کامل و 3 مقاله کوتاه با دقت بررسی شدند و انتخاب از 95 ارسالی این مقالات طیف گسترده‌ای از موضوعات را پوشش می‌دهند: از طراحی زبان گرفته تا تکنیک‌های تأیید و تجزیه و تحلیل، تا ابزارهای پشتیبانی و ادغام آن‌ها در عمل مهندسی نرم‌افزار شامل رویکردهای نظری و پیاده‌سازی عملی. همچنین شامل چکیده های توسعه یافته 6 مقاله \"journal-first\" است.
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.
The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.
پست ها تصادفی