دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1st ed.] نویسندگان: Carlo A. Furia, Kirsten Winter سری: Lecture Notes in Computer Science 11023 ISBN (شابک) : 9783319989372 ناشر: Springer International Publishing سال نشر: 2018 تعداد صفحات: XVI, 420 [434] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 23 Mb
در صورت تبدیل فایل کتاب Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های رسمی یکپارچه: چهاردهمین کنفرانس بین المللی، IFM 2018، Maynooth، ایرلند، 5-7 سپتامبر 2018، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری چهاردهمین کنفرانس بینالمللی
روشهای رسمی یکپارچه، IFM 2018، برگزار شده در Maynooth،
ایرلند، در سپتامبر 2018 است.
17 مقاله کامل و 5 مقاله کوتاه همراه با 3 مقاله ارائه شده است.
گفتگوهای دعوت شده به دقت بررسی و از بین 60 مورد ارسالی انتخاب
شدند. این کنفرانس طیف گسترده ای از موضوعات را پوشش می دهد: از
طراحی زبان، تا تکنیک های تایید و تجزیه و تحلیل، تا ابزارهای
پشتیبانی و ادغام آنها در عمل مهندسی نرم افزار.
This book constitutes the refereed proceedings of the 14th
International Conference on Integrated Formal Methods, IFM
2018, held in Maynooth, Ireland, in September 2018.
The 17 full papers and 5 short papers presented together with
3 invited talks were carefully reviewed and selected from 60
submissions. The conference covers a broad spectrum of
topics: from language design, to verification and analysis
techniques, to supporting tools and their integration into
software engineering practice.