دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1st ed.]
نویسندگان: Brijesh Dongol. Elena Troubitsyna
سری: Lecture Notes in Computer Science 12546
ISBN (شابک) : 9783030634605, 9783030634612
ناشر: Springer International Publishing;Springer
سال نشر: 2020
تعداد صفحات: XI, 461
[460]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 19 Mb
در صورت تبدیل فایل کتاب Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های رسمی یکپارچه: شانزدهمین کنفرانس بین المللی ، IFM 2020 ، لوگانو ، سوئیس ، 16 تا 20 نوامبر ، 2020 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری شانزدهمین کنفرانس بینالمللی روشهای رسمی یکپارچه، IFM 2019، در لوگانو، سوئیس، در نوامبر 2020 است.
24 مقاله کامل و 2 مقاله کوتاه. از بین 63 مورد ارسالی به دقت بررسی و انتخاب شدند. این مقالات طیف گسترده ای از موضوعات را پوشش می دهند: ادغام یادگیری ماشین و مدل سازی رسمی. مدل سازی و تایید در B و رویداد-B. تجزیه و تحلیل و آزمایش برنامه؛ تأیید رفتار تعاملی؛ تأیید رسمی؛ تجزیه و تحلیل استاتیک; رویکردهای خاص دامنه؛ و تکنیک های جبری.
This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.
The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques.