خرید و دانلود نسخه کامل کتاب Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings (Lecture Notes in Computer Science)

روش‌های رسمی: مبانی و کاربردها: بیست و ششمین سمپوزیوم برزیل، SBMF 2023، مانائوس، برزیل، 4 تا 8 دسامبر 2023، مجموعه مقالات (یادداشت‌های سخنرانی در علوم کامپیوتر)

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings (Lecture Notes in Computer Science)

نویسنده: Haniel Barbosa (editor), Yoni Zohar (editor)

ناشر: Springer

سال انتشار: 2023

تعداد صفحات: 166

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 6 مگابایت