دانلود کتاب NASA formal methods: 13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings /
by Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez (eds.).
|
عنوان فارسی: روش های رسمی ناسا: سیزدهمین سمپوزیوم بین المللی، NFM 2021، رویداد مجازی، 24-28 می 2021: مجموعه مقالات / |