Интернет-магазин «Все книги России». Помогает купить книгу по самой выгодной цене. Подарочные книги. Сеть издательств и книжных магазинов на одном сайте! Каталог книг | Найти книги | Моя корзина Ср, 19 Сен, 2018, 8:44

  

Контакты

Книготорговая площадка
«Все книги России»

Всего книг: 183001
Покупателей: 83096
Продавцов: 890
Издательств: 215

Подробная информация о книге:

Структурированные системы переходов
Кузьмин, Соколов

Автор Кузьмин, Соколов
Название Структурированные системы переходов
Издательство Физматлит
Дата издания 2006
ISBN 9785922106929
Количество страниц 176 стр.
Переплёт Твердый переплет
Бумага
Цена 105 руб.
(Цена указана без стоимости доставки)
Продавец Чакона (г.Самара)
Доставка и оплата виды доставки и оплаты книг

Заказы с доставкой за пределы России в настоящее время не принимаются.

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



Книга «Структурированные системы переходов » Кузьмин, Соколов .




Книги в разделах:
  


© 2003-2018 "ВСЕ КНИГИ РОССИИ". Все права защищены.