Formal Methods in Architecture » MIRLIB.RU - ТВОЯ БИБЛИОТЕКА
Регистрация
Внедрение Splunk 7 Внедрение Splunk 7 Между рассветом и закатом. Советская физика в 1950-1979 годах Между рассветом и закатом. Советская физика в 1950-1979 годах Лето 1941 Украина. Документы, материалы, хроника событий Лето 1941 Украина. Документы, материалы, хроника событий Говорим по-русски без переводчика: Интенсивный курс по развитию навыков устной речи Говорим по-русски без переводчика: Интенсивный курс по развитию навыков устной речи Эксперимент Зубатова. Легализация рабочего движения в первые годы XX в. Эксперимент Зубатова. Легализация рабочего движения в первые годы XX в. Аналитическая геометрия. Практикум с использованием MathCad Аналитическая геометрия. Практикум с использованием MathCad Сборник-Конструктор. 60 рецептов Сборник-Конструктор. 60 рецептов Осеннее меню 2.0 Осеннее меню 2.0 A Language a Day: A brief introduction to 21 programming languages A Language a Day: A brief introduction to 21 programming languages JavaScript Fundamentals: A Beginner's Guide to Web Development JavaScript Fundamentals: A Beginner's Guide to Web Development jаvascript: The Comprehensive Guide jаvascript: The Comprehensive Guide «Пиши-стирай 1000 разів»: Я вивчаю англійські літери та слова. Я вивчаю букви та пишу «Пиши-стирай 1000 разів»: Я вивчаю англійські літери та слова. Я вивчаю букви та пишу Зимові розумашки (1-3 клас) Зимові розумашки (1-3 клас) История Тамбовского края: век XX-й История Тамбовского края: век XX-й LLM Prompt Engineering For Developers : The Art and Science of Unlocking LLMs' True Potential (2024) LLM Prompt Engineering For Developers : The Art and Science of Unlocking LLMs' True Potential (2024) Android Studio Ladybug Essentials - Java Edition: Developing Android Apps Using Android Studio Ladybug and Java Android Studio Ladybug Essentials - Java Edition: Developing Android Apps Using Android Studio Ladybug and Java
Внедрение Splunk 7 Внедрение Splunk 7 Между рассветом и закатом. Советская физика в 1950-1979 годах Между рассветом и закатом. Советская физика в 1950-1979 годах Лето 1941 Украина. Документы, материалы, хроника событий Лето 1941 Украина. Документы, материалы, хроника событий Говорим по-русски без переводчика: Интенсивный курс по развитию навыков устной речи Говорим по-русски без переводчика: Интенсивный курс по развитию навыков устной речи Эксперимент Зубатова. Легализация рабочего движения в первые годы XX в. Эксперимент Зубатова. Легализация рабочего движения в первые годы XX в. Аналитическая геометрия. Практикум с использованием MathCad Аналитическая геометрия. Практикум с использованием MathCad Сборник-Конструктор. 60 рецептов Сборник-Конструктор. 60 рецептов Осеннее меню 2.0 Осеннее меню 2.0 A Language a Day: A brief introduction to 21 programming languages A Language a Day: A brief introduction to 21 programming languages JavaScript Fundamentals: A Beginner's Guide to Web Development JavaScript Fundamentals: A Beginner's Guide to Web Development jаvascript: The Comprehensive Guide jаvascript: The Comprehensive Guide «Пиши-стирай 1000 разів»: Я вивчаю англійські літери та слова. Я вивчаю букви та пишу «Пиши-стирай 1000 разів»: Я вивчаю англійські літери та слова. Я вивчаю букви та пишу Зимові розумашки (1-3 клас) Зимові розумашки (1-3 клас) История Тамбовского края: век XX-й История Тамбовского края: век XX-й LLM Prompt Engineering For Developers : The Art and Science of Unlocking LLMs' True Potential (2024) LLM Prompt Engineering For Developers : The Art and Science of Unlocking LLMs' True Potential (2024) Android Studio Ladybug Essentials - Java Edition: Developing Android Apps Using Android Studio Ladybug and Java Android Studio Ladybug Essentials - Java Edition: Developing Android Apps Using Android Studio Ladybug and Java
Категория: КНИГИ » АРХИТЕКТУРА И ДИЗАЙН
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
Комментариев пока нет. Стань первым!