دانلود کتاب Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
کتاب روشهای رسمی - 30 سال آینده: کنگره جهان سوم ، FM 2019 ، پورتو ، پرتغال ، 7 تا 11 اکتبر 2019 ، مجموعه مقالات نسخه زبان اصلی
دانلود کتاب روشهای رسمی - 30 سال آینده: کنگره جهان سوم ، FM 2019 ، پورتو ، پرتغال ، 7 تا 11 اکتبر 2019 ، مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
نام کتاب : Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
ویرایش : 1st ed. 2019
عنوان ترجمه شده به فارسی : روشهای رسمی - 30 سال آینده: کنگره جهان سوم ، FM 2019 ، پورتو ، پرتغال ، 7 تا 11 اکتبر 2019 ، مجموعه مقالات
سری : Lecture Notes in Computer Science 11800
نویسندگان : Maurice H. ter Beek, Annabelle McIver, José N. Oliveira
ناشر : Springer International Publishing
سال نشر : 2019
تعداد صفحات : XXI, 774
[776]
ISBN (شابک) : 978-3-030-309 , 978-3-030-309
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 36 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب ، مراحل داوری 23 سمپوزیوم در مورد روشهای رسمی ، FM 2019 ، که در پورتو ، پرتغال ، در قالب کنگره جهان سوم با روشهای رسمی ، در اکتبر 2019 برگزار می شود ، تشکیل می دهد.
44 مقاله کامل ارائه شده به همراه 3 ارائه دعوت شده با دقت مورد بررسی قرار گرفت و از 129 ارسال انتخاب شد. مقالات در بخش های موضعی به نام: ارائه های دعوت شده سازماندهی شده اند. تأیید تکنیک های سنتز ؛ همزمانی ؛ مدل بررسی مدل ؛ بررسی مدل ؛ تکنیک های تجزیه و تحلیل ؛ زبانهای مشخصات ؛ تکنیک های استدلال ؛ زبانهای مدل سازی ؛ تکنیک ها و برنامه های مبتنی بر یادگیری ؛ اصلاح مجدد و برنامه ریزی مجدد ؛ ارائه های روزانه.
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.
The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations.