روشهای رسمی در معماری: مجموعه مقالات ششمین سمپوزیوم بین المللی در مورد روشهای رسمی در معماری (6FMA) ، Coruña 2022 (دیجیتال ... معماری ، مهندسی و ساخت و ساز)
Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022 (Digital ... Architecture, Engineering and Construction)
نویسنده: Plácido Lizancos Mora (editor), David Leite Viana (editor), Franklim Morais (editor), Jorge Vieira Vaz (editor)
ناشر: Springer
سال انتشار: 2023
تعداد صفحات: 522
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 22 مگابایت