دانلود کتاب چهاردهمین سمپوزیوم بینالمللی روشهای رسمی ناسا
عنوان مجله: NASA Formal Methods 14th International Symposium, NFM 2022 نویسنده: Jyotirmoy V. Deshmukh, Klaus Havelund حوزه: ناسا سال انتشار: 2022 تعداد صفحه: 846 زبان اصلی: انگلیسی نوع فایل: pdf حجم فایل: 29.52 مگابایت سمپوزیوم روشهای رسمی ادامه مطلب