دانلود کتاب Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
by Marieke Huisman, Corina Păsăreanu, Naijun Zhan|
|
عنوان فارسی: روشهای رسمی: بیست و چهارمین سمپوزیوم بینالمللی، FM 2021، رویداد مجازی، 20 تا 26 نوامبر 2021، مجموعه مقالات |


دانلود کتاب

جزییات کتاب
این کتاب رو مطالعه کردید؟ نظر شما چیست؟