ناسا

عنوان مجله: NASAs Voyager Missions/ Exploring the Outer Solar System and Beyond نویسنده: Ben Evans حوزه: ناسا, منظومه شمسی سال انتشار: 2022 تعداد صفحه: 256 زبان اصلی: انگلیسی نوع فایل: pdf حجم فایل: 9.57 مگابایت این کتاب ادامه مطلب

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