Название: 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.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
Programming Language Theory and Formal Methods Название: Programming Language Theory and Formal Methods Автор: Zoran Gacovski Издательство: Arcler Press Год: 2023 Страниц: 404 Язык: английский...
Formal Methods for Control of Nonlinear Systems Название: Formal Methods for Control of Nonlinear Systems Автор: Yinan Li, Jun Liu Издательство: CRC Press Год: 2023 Страниц: 272 Язык: английский...
NASA Formal Methods Название: NASA Formal Methods Автор: Clark Barrett and Misty Davies Издательство: Springer Год: 2017 Формат: PDF Размер: 20 Мб Язык: английский /...
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
Навигация
Вход на сайт
Реклама
Formal Methods in Architecture 
