ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

دانلود کتاب روش های رسمی یکپارچه: چهاردهمین کنفرانس بین المللی، IFM 2018، Maynooth، ایرلند، 5-7 سپتامبر 2018، مجموعه مقالات

Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

مشخصات کتاب

Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

ویرایش: [1st ed.] 
نویسندگان: ,   
سری: Lecture Notes in Computer Science 11023 
ISBN (شابک) : 9783319989372 
ناشر: Springer International Publishing 
سال نشر: 2018 
تعداد صفحات: XVI, 420
[434] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 23 Mb 

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



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

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


در صورت تبدیل فایل کتاب 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، ایرلند، 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.





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