Интернет-магазин My-shop.ru
Акции   
Персональный раздел v
   Доставка    Оплата    Скидки    Форум    Помощь
для Москвы  +7 (495) 638-53-38
бесплатно для РФ  +7 (800) 100-53-38
 
0
Красиво и практично!Новогодние наборы My-shop.ru — лучшее решение вопроса с подарками под ёлку!Удобно и выгодно!
• 
Книги (688149)
• 
Научная и научно-популярная литература (68359)
• 
Математика (1412)
• 
Научная, учебная литература для специалистов (1006)



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

Кузьмин Е.В. (найти все товары), Соколов В.А.

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

Издательство: Физматлит

Рейтинг: - (голосов: 0)
Ваша оценка: 1 2 3 4 5  

дата выпуска: 2006 г. 
язык: русский
количество томов: 1
количество страниц: 176 стр.
переплет: твердый
формат: 60x90/16 (145x215 мм)
тираж: 300 экз.
стандарт: 20 шт.
возрастная категория: 18+ (нет данных)
код системы скидок: 25
код в My-shop.ru: 172962

ISBN: 5-9221-0692-9, 978-5-9221-0692-4


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

296 руб.
в наличии*
ориентировочная дата отгрузки: 12.12.2016 (Пн.)
шт.
отложить

Купить электронную версию

|