Formal Methods in Architecture » MIRLIB.RU - ТВОЯ БИБЛИОТЕКА
Регистрация
Python: Pandas на практике. 200 упражнений по анализу данных с решениями и пояснениями Python: Pandas на практике. 200 упражнений по анализу данных с решениями и пояснениями Хорошо ли вы знаете С++? Хорошо ли вы знаете С++? Сад метеликів - Дот Гатчисон Сад метеликів - Дот Гатчисон П’ятдесят слів для дощу П’ятдесят слів для дощу Rust Essentials: A Comprehensive Guide Safe, Fast, Future-Ready Programming Rust Essentials: A Comprehensive Guide Safe, Fast, Future-Ready Programming Сказки друзей Сказки друзей Сивка-Бурка (1984) Сивка-Бурка (1984) Сон с продолжением Сон с продолжением Летела сова - веселая голова Летела сова - веселая голова Лесное яблочко Лесное яблочко А это мы! — заяц Коська, белка Ленка, лиса Лариска, медведь Потап, ёж Кирюха, волк Бакула и прочие А это мы! — заяц Коська, белка Ленка, лиса Лариска, медведь Потап, ёж Кирюха, волк Бакула и прочие «На добраніч»: Снігові друзі «На добраніч»: Снігові друзі Enterprise Digital Reliability: Building Security, Usability, and Digital Trust Enterprise Digital Reliability: Building Security, Usability, and Digital Trust Digital Twins and Cybersecurity: Safeguarding the Future of Connected Systems Digital Twins and Cybersecurity: Safeguarding the Future of Connected Systems Adobe Elements User Manual - 6th Edition 2024 Adobe Elements User Manual - 6th Edition 2024 Computational Physics: Problem Solving with Python, 4th Edition Computational Physics: Problem Solving with Python, 4th Edition
Python: Pandas на практике. 200 упражнений по анализу данных с решениями и пояснениями Python: Pandas на практике. 200 упражнений по анализу данных с решениями и пояснениями Хорошо ли вы знаете С++? Хорошо ли вы знаете С++? Сад метеликів - Дот Гатчисон Сад метеликів - Дот Гатчисон П’ятдесят слів для дощу П’ятдесят слів для дощу Rust Essentials: A Comprehensive Guide Safe, Fast, Future-Ready Programming Rust Essentials: A Comprehensive Guide Safe, Fast, Future-Ready Programming Сказки друзей Сказки друзей Сивка-Бурка (1984) Сивка-Бурка (1984) Сон с продолжением Сон с продолжением Летела сова - веселая голова Летела сова - веселая голова Лесное яблочко Лесное яблочко А это мы! — заяц Коська, белка Ленка, лиса Лариска, медведь Потап, ёж Кирюха, волк Бакула и прочие А это мы! — заяц Коська, белка Ленка, лиса Лариска, медведь Потап, ёж Кирюха, волк Бакула и прочие «На добраніч»: Снігові друзі «На добраніч»: Снігові друзі Enterprise Digital Reliability: Building Security, Usability, and Digital Trust Enterprise Digital Reliability: Building Security, Usability, and Digital Trust Digital Twins and Cybersecurity: Safeguarding the Future of Connected Systems Digital Twins and Cybersecurity: Safeguarding the Future of Connected Systems Adobe Elements User Manual - 6th Edition 2024 Adobe Elements User Manual - 6th Edition 2024 Computational Physics: Problem Solving with Python, 4th Edition Computational Physics: Problem Solving with Python, 4th Edition
Категория: КНИГИ » АРХИТЕКТУРА И ДИЗАЙН
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
Комментариев пока нет. Стань первым!