Наверх

Вы не зарегистрированы. Поэтому авторизуйтесь или укажите E-mail адрес, на который хотите получить уведомление о поступлении товара в продажу.

Внимание! Уведомление о поступлении товара будет отправлено Вам один раз.

Лидеры продаж
Структурированные системы переходов.
Отложить на потом

Структурированные системы переходов.

Авторы: Кузьмин Е.В., Владимир Александрович Соколов

Нет в продаже


Издательство: ФИЗМАТЛИТ (2006 г.)

Твердый переплет, 175 стр.

Тираж: 300 экз.

Размер: 15 х 22 см

Вес: 300 гр.

Поискать похожие книги
Другие издания этой книги

Краткое описание

Структурированные системы переходов.

В монографии рассматривается класс вполне структурированных систем помеченных переходов, представляющих собой формализм для моделирования и анализа корректности параллельных и распределенных систем, таких как вычислительные машины и комплексы с параллельной и распределённой архитектурой, параллельные программы, протоколы передачи данных, модели технологических и бизнес-процессов, при этом основное внимание уделяется разрешимости классических проблем ограниченности, достижимости, покрытия, неизбежности, поддержки управляющего состояния, останова, эквивалентности и других важных семантических и темпоральных свойств.Для научных работников, преподавателей, аспирантов и студентов, интересующихся формальными методами моделирования, анализа и верификации параллельных и распределенных систем.

Внешний вид книги Структурированные системы переходов. может отличаться от изображения товара на сайте!

Отзывы (Ваш отзыв будет первым)

Ваше мнение очень интересно, но чтобы оставить свой отзыв, пожалуйста, зарегистрируйтесь