Formal Methods in Architecture » MIRLIB.RU - ТВОЯ БИБЛИОТЕКА
Регистрация
Компьютерные технологии, моделирование и автоматизированные системы в машиностроении Компьютерные технологии, моделирование и автоматизированные системы в машиностроении Natural Language Processing using R Pocket Primer Natural Language Processing using R Pocket Primer Военная история России (2019) Военная история России (2019) Держава Тевтонского ордена Держава Тевтонского ордена Физика: полный курс. Примеры, задачи, решения Физика: полный курс. Примеры, задачи, решения Node.js Web Development For Beginners: A Step-By-Step Guide to Build an MVC Web Application With Node.js, Express Node.js Web Development For Beginners: A Step-By-Step Guide to Build an MVC Web Application With Node.js, Express Инструкция по эксплуатации охотничьего оружия и технике безопасности Инструкция по эксплуатации охотничьего оружия и технике безопасности Уход за дробовым ружьем Уход за дробовым ружьем Foundations of Computer Vision (2024) Foundations of Computer Vision (2024) Причина времени: Жизнь - дление - необратимость Причина времени: Жизнь - дление - необратимость Лекарственные грибы: Большая энциклопедия Лекарственные грибы: Большая энциклопедия Cloud Automation with Python: for Engineers Cloud Automation with Python: for Engineers Рабочая тетрадь «Мои схемы» Рабочая тетрадь «Мои схемы» Плоская резьба по дереву Плоская резьба по дереву Illusio. Всемирная история заблуждений и обманов Illusio. Всемирная история заблуждений и обманов Донские казаки в борьбе с большевиками. 1917-1919 Донские казаки в борьбе с большевиками. 1917-1919
Компьютерные технологии, моделирование и автоматизированные системы в машиностроении Компьютерные технологии, моделирование и автоматизированные системы в машиностроении Natural Language Processing using R Pocket Primer Natural Language Processing using R Pocket Primer Военная история России (2019) Военная история России (2019) Держава Тевтонского ордена Держава Тевтонского ордена Физика: полный курс. Примеры, задачи, решения Физика: полный курс. Примеры, задачи, решения Node.js Web Development For Beginners: A Step-By-Step Guide to Build an MVC Web Application With Node.js, Express Node.js Web Development For Beginners: A Step-By-Step Guide to Build an MVC Web Application With Node.js, Express Инструкция по эксплуатации охотничьего оружия и технике безопасности Инструкция по эксплуатации охотничьего оружия и технике безопасности Уход за дробовым ружьем Уход за дробовым ружьем Foundations of Computer Vision (2024) Foundations of Computer Vision (2024) Причина времени: Жизнь - дление - необратимость Причина времени: Жизнь - дление - необратимость Лекарственные грибы: Большая энциклопедия Лекарственные грибы: Большая энциклопедия Cloud Automation with Python: for Engineers Cloud Automation with Python: for Engineers Рабочая тетрадь «Мои схемы» Рабочая тетрадь «Мои схемы» Плоская резьба по дереву Плоская резьба по дереву Illusio. Всемирная история заблуждений и обманов Illusio. Всемирная история заблуждений и обманов Донские казаки в борьбе с большевиками. 1917-1919 Донские казаки в борьбе с большевиками. 1917-1919
Категория: КНИГИ » АРХИТЕКТУРА И ДИЗАЙН
Formal Methods in Architecture
Добавил: Indulis79 / 5-08-2023, 14:13 /

Название: Formal Methods in Architecture
Автор: Placido Lizancos Mora, David Leite Viana, Franklim Morais
Издательство: Springer
ISBN: 981992216X
Год: 2023
Формат: EPUB
Страниц: 823
Размер: 188,0 МБ
Язык: Английский

This book comprises the select proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruna 2022. The contents focus on the use of methodologies, especially those that have witnessed recent developments stemming from mathematical and computer sciences and are developed in a collaborative way with architecture and related fields.







[related-news]

Похожие публикации

    {related-news}
[/related-news]
Комментарии 0
Комментариев пока нет. Стань первым!