خرید و دانلود نسخه کامل کتاب Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November ... (Lecture Notes in Computer Science)

روش های رسمی و مهندسی نرم افزار: بیست و چهارمین کنفرانس بین المللی روش های مهندسی رسمی، ICFEM 2023، بریزبن، QLD، استرالیا، نوامبر ... (یادداشت های سخنرانی در علوم کامپیوتر)

Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November ... (Lecture Notes in Computer Science)

نویسنده: Yi Li (editor), Sofiène Tahar (editor)

ناشر: Springer

سال انتشار: 2023

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

زبان: English

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

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