везде Расширенный поиск
книги Наука, техника, медицина Естественные науки Точные науки Физика

Richard Hill

Modular Methods in the Supervisory Control of Discrete Event Systems. Incremental design and verification employing abstraction and interfaces

Код 913722

Бумажная книга

Нет в продаже

Сообщить о появлении

Аннотация к книге "Modular Methods in the Supervisory Control of Discrete Event Systems. Incremental design and verification employing abstraction and interfaces"

The subject of this book is modular approaches to the verification and control of discrete-event systems (DES). DES are dynamic systems characterized by discrete states and event-driven evolution. In recent years, a substantial body of work has been built up to provide a theory and framework for the control and verification of DES. Despite all the advancements that have been made in this area, application to real-life systems has been somewhat slow. A significant hurdle to the adoption of these...

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-3-6392-1031-6
Объём: 200 страниц
Масса: 325 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 2

Вместе с этой книгой покупают

Мам, дай фартук!
Мам, дай фартук! бумажная книга
Катерина Дронова
Нет в продаже
Российская империя. Коллекция цветных фотографий. Фотограф Сергей Михайлович Прокудин-Горский
Российская империя. Коллекция цветных... бумажная книга
Сергей Михайлович...
23.12 USD
В корзину
Lykke. В поисках секретов самых счастливых людей
Lykke. В поисках секретов самых счастливых людей бумажная книга
Майк Викинг
11.6 USD
В корзину
Из ада
Из ада бумажная книга
Алан Мур
Нет в продаже
0,05. Доказательная медицина от магии до поисков бессмертия
0,05. Доказательная медицина от магии до... бумажная книга
Петр Талантов
14.06 USD
В корзину
-10%
Вот я
Вот я бумажная книга
Джонатан Фоер
11.12 USD 10.01 USD
В корзину