دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
دانلود کتاب روش‌های رسمی یکپارچه: پانزدهمین کنفرانس بین‌المللی، IFM 2019، برگن، نروژ، 2 تا 6 دسامبر 2019، مجموعه مقالات
مشخصات کتاب
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
ویرایش: [1st ed. 2019]
نویسندگان: Wolfgang Ahrendt. Silvia Lizeth Tapia Tarifa
سری: Lecture Notes in Computer Science 11918
ISBN (شابک) : 9783030349677, 9783030349684
ناشر: Springer International Publishing
سال نشر: 2019
تعداد صفحات: XVII, 554
[565]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 30 Mb
قیمت کتاب (تومان) : 52,000
در صورت تبدیل فایل کتاب Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش‌های رسمی یکپارچه: پانزدهمین کنفرانس بین‌المللی، IFM 2019، برگن، نروژ، 2 تا 6 دسامبر 2019، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش‌های رسمی یکپارچه: پانزدهمین کنفرانس بین‌المللی، IFM 2019، برگن، نروژ، 2 تا 6 دسامبر 2019، مجموعه مقالات
این کتاب مجموعه مقالات داوری پانزدهمین کنفرانس بین‌المللی
روش‌های رسمی یکپارچه، 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.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Segmental Idiopathic Necrosis of the Femoral Head
دانلود کتاب Managing Retail Productivity and Profitability
دانلود کتاب Cybersecurity Enhancement Act of 2013 : report (to accompany H.R. 756) (including cost estimate of the Congressional Budget Office)
دانلود کتاب No Child Left Behind Act: Text, Interpretation, And Changes
