خرید و دانلود نسخه کامل کتاب Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings (Programming and Software Engineering)

روش‌های رسمی: مبانی و کاربردها: بیست و چهارمین سمپوزیوم برزیل، SBMF 2021، رویداد مجازی، 6 تا 10 دسامبر 2021، مجموعه مقالات (برنامه‌نویسی و مهندسی نرم‌افزار)

Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings (Programming and Software Engineering)

نویسنده: Sérgio Campos (editor), Marius Minea (editor)

ناشر: Springer

سال انتشار: 2021

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

زبان: English

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

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