Структурированные системы переходов; Издательская фирма "Физико-математическая литература", 2006

699 р.

Издатель: Издательская фирма "Физико-математическая литература"
ISBN: 5-9221-0692-9
Книги: Информатика
ID:1757741

Где купить

Рейтинг:

(5/5)

Отзывы (1) Оставить отзыв

Описание Характеристики Сравнить цены (1) Отзывы (1)

Где купить (1)

Цена от 699 р. до 699 р. в 1 магазинах

Магазин	Цена	Наличие
ЛитРес 5/5 ООО «Литрес» ИНН: 7719571260	699 р. Электронная книга Кэшбэк до 6.5%	✔ 18.07.2025

Яндекс.Маркет 5/5 ООО "ЯНДЕКС" ИНН: 7736207543	✔ Промокоды на скидку

Avito 5/5 ООО КЕХ еКоммерц ИНН: 7710668349	Avito доставка позволит получить любой товар, не выходя из дома

История цены
Магазин	Последняя известная цена	Обновлено
Лабиринт	479 р.

Описание

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

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

Смотри также о книге.

О книге

Параметр	Значение
Автор(ы)	Егор Кузьмин
Издатель	Издательская фирма "Физико-математическая литература"
Год издания	2006
ISBN	5-9221-0692-9
Форматы электронной версии	PDF

Отзывы (1)

Jhon Silver — 6 Декабря 2023

5/5

Редкое для России издание по достаточно новому направлению в математике. Хорошо подан математический аппарат: последовательно и в достаточном объеме.
К сожалению, для очень узкого круга читателей.