The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools. This book deals with these formal methods applied to communicating embedded systems by presenting the related industrial challenges and the issues of modeling, model-checking, diagnosis and control synthesis, and by describing the main associated automated tools.

Информация о характеристиках, комплекте поставки, стране изготовления, внешнем виде и цвете товара носит справочный характер и взятая из открытых источников.

Communicating Embedded Systems продается в интернет-магазине ЛитРес
Эксперт: Юрий Л., специалист по онлайн-шопингу
Дата рецензии: 16 февраля 2026 года
Рекомендация к покупке нейтральная

Планируете купить "Communicating Embedded Systems" в кредит? Расширенный кредитный калькулятор поможет онлайн рассчитать ежемесячный платеж, начисленные проценты и сумму переплаты по потребительскому кредиту.

Доставка покупки

- В электронном виде;
- Читать онлайн;
- Скачать на компьютер или мобильные устройства.

Оплата заказа

- Банковской картой;
- электронными деньгами Яндекс-Деньги; WebMoney, Qiwi Кошелек, PayPal;
- Наличными через терминалы;
- Банковским переводом.

Реквизиты продавца

Наименование: ООО «ЛитРес»
ИНН: 7719571260

Часто задаваемые вопросы

Где купить "Communicating Embedded Systems"?

Проверьте наличие на Маркете.

Какие способы оплаты доступны?

Оплатить покупку возможно банковскими картами, банковским переводом, наличными при получении. Перечень всех способов оплаты доступен при оформлении заказа.

Можно ли вернуть товар?

Да, в соответствии с законом «О защите прав потребителей» вы можете вернуть товар надлежащего качества в течение 14 дней с момента покупки, если он не был в употреблении, сохранены упаковка, ярлыки и товарный вид, и при этом не входит в перечень товаров, не подлежащих возврату или обмену (утверждённый Постановлением Правительства РФ №55).

Есть ли гарантия?

На большинство товаров предоставляется гарантия от производителя. Срок гарантии указан в описании товара.