Formal methods : 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings
Formal methods : 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings
افزودن به بوکمارک
اشتراک گذاری
0 دیدگاه کاربران
5
(0)
مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید
این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
گزارش تخلف
فرمت کتاب
print book
زبان
english
تاریخ انتشار
2018
نویسنده
Klaus Havelundنویسنده
Klaus Havelundشابک
9783319955810
- اطلاعات
- دیدگاه کاربران
برای مطالعه توضیحات وارد حساب کاربری خود شوید
دیدگاه کاربران