روشهای رسمی در معماری: مجموعه مقالات پنجمین سمپوزیوم بین المللی در مورد روشهای رسمی در معماری (5FMA) ، لیسبون 2020 (پیشرفت در علم ، فناوری
Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 (Advances in Science, Technology & Innovation)
نویسنده: Sara Eloy (editor), David Leite Viana (editor), Franklim Morais (editor), Jorge Vieira Vaz (editor)
ناشر: Springer
سال انتشار: 2021
تعداد صفحات: 325
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 27 مگابایت