0
0руб.

телефон

8 (495) 133 - 59 - 27

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

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

Серия:

Код Sprinter: 172962

296р.
в наличии
Купить
Структурированные системы переходов
В монографии рассматривается класс вполне структурированных систем помеченных переходов, представляющих собой формализм для моделирования и анализа корректности параллельных и распределенных систем, таких как вычислительные машины и комплексы с параллельной и распределённой архитектурой, параллельные программы, протоколы передачи данных, модели технологических и бизнес-процессов, при этом основное внимание уделяется разрешимости классических проблем ограниченности, достижимости, покрытия, неизбежности, поддержки управляющего состояния, останова, эквивалентности и других важных семантических и темпоральных свойств. Для научных работников, преподавателей, аспирантов и студентов, интересующихся формальными методами моделирования, анализа и верификации параллельных и распределенных систем.
  • Издательство: Физматлит
  • Год: 2006
  • Страниц: 176
  • Обложка: твердый переплет
  • ISBN: 5-9221-0692-9
  • Формат: 60x90/16 (145x215 мм)
  • Том: 1
Задать вопрос / добавить отзыв

Авторизуйтесь чтобы добавить свой вопрос или отзыв. Если Вы не регистрировались, кликните здесь

8 (495) 133-59-27

Следите за акциями и спецпредложениями,
участвуйте в викторинах, опросах и коллективных скидках, получайте призы!

Rambler's Top100
Рейтинг @Mail.ru

Создание сайта

Все права защищены © 2006-2017 Sprinter.ru ®

Персональные данные используются на сайте в целях его функционирования, и если Вы не согласны, то должны покинуть сайт.

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

()
Добро пожаловать

Нет аккаунта? Зарегистрируйтесь.

Запомнить меня
или
Зайти с Facebook Зайти с ВКонтакте