Описание
Assurances for Self-Adaptive Systems. Principles, Models, and Techniques
Артикул Маркета
5824522087
Внешний вид товаров и/или упаковки может быть изменён изготовителем и отличаться от изображенных на Яндекс Маркете.
Пэй
2 965 ₽
–45%
–200 ₽
С доставкой по клику
Заказ от 1500₽
Пэй
2 965 ₽
–45%
Доставка Маркета
8 окт, по клику 0 ₽
Москва
8 окт, пункт выдачи 0 ₽
Москва
Быстрый возврат
О возвратах
Т8 Издательские Технологии
Магазин
19.2Kзаказов
609подписчиков
6лет на Маркете
О товаре
Описание
Печатная книга «Assurances for Self-Adaptive Systems. Principles, Models, and Techniques» в мягкой обложке, язык - английский. В книге 352 страниц, она напечатана на белой офсетной бумаге плотностью 80 г/м². Формат издания — 156x234 мм. Все книги аккуратно упаковываем в прочный трёхслойный непрозрачный картонный конверт.
Model Checking Adaptive Software with Featured Transition Systems.- Probabilistic Verification at Runtime for Self-Adaptive Systems.- Verification of a Self-configuration Protocol for Distributed Applications in the Cloud.- Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures.- Timed Hazard Analysis of Self-healing Systems.- Model-Driven Development of Safe Self-optimizing Mechatronic
Systems with MechatronicUML.- Model-Based Reasoning for Self-Adaptive Systems - Theory and Practice.- Achieving Self-adaptation through Dynamic Group Management.- Accurate Proactive Adaptation of Service-Oriented Systems.- Failure Avoidance in Configurable Systems through Feature Locality.- Emerging Techniques for the Engineering of Self Adaptive High-Integrity Software.- Assurance of Self-adaptive Controllers for the Cloud.
Model Checking Adaptive Software with Featured Transition Systems.- Probabilistic Verification at Runtime for Self-Adaptive Systems.- Verification of a Self-configuration Protocol for Distributed Applications in the Cloud.- Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures.- Timed Hazard Analysis of Self-healing Systems.- Model-Driven Development of Safe Self-optimizing Mechatronic
Systems with MechatronicUML.- Model-Based Reasoning for Self-Adaptive Systems - Theory and Practice.- Achieving Self-adaptation through Dynamic Group Management.- Accurate Proactive Adaptation of Service-Oriented Systems.- Failure Avoidance in Configurable Systems through Feature Locality.- Emerging Techniques for the Engineering of Self Adaptive High-Integrity Software.- Assurance of Self-adaptive Controllers for the Cloud.
Характеристики
Артикул Маркета
5824522087
Внешний вид товаров и/или упаковки может быть изменён изготовителем и отличаться от изображенных на Яндекс Маркете.Возрастное ограничение 18+
Нет отзывов и оценок
Но можно задать вопрос, чтобы узнать о товаре больше
Рекомендуем
Цена с картой Яндекс Пэй 1229 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 1435 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 1616 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 2001 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 538 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 233 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 246 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 2490 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 1148 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 1364 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 503 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 637 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 1778 ₽ вместо
Пэй
Войдите в аккаунтИ тогда откроется корзина, а цены на Маркете могут стать ниже
