Написал сообщение в тусовке литература
0 28 Июля Ответить
Написал сообщение в тусовке литература
0 17 Июля Ответить
Написал сообщение в тусовке литература
0 10 Июня Ответить
Написал сообщение в тусовке литература
0 20 Апреля Ответить
Написал сообщение в тусовке литература
0 13 Апреля Ответить
Написал сообщение в тусовке литература
0 27 Февраля Ответить
Написал сообщение в тусовке литература
0 21 Февраля Ответить
Написал сообщение в тусовке литература
0 31 Января Ответить
Написал сообщение в тусовке литература
0 8 Января Ответить
Написал сообщение в тусовке литература
0 8 Января Ответить
Написал сообщение в тусовке литература
0 8 Января Ответить
Написал сообщение в тусовке литература
0 8 Января Ответить
Написал рецензию в тусовке литература
0
0 7 Октября 2020 Ответить
Написал рецензию в тусовке кино
0
0 4 Сентября 2020 Ответить
Написал рецензию в тусовке литература
0
0 2 Февраля 2020 Ответить
Для быстрого поиска начните вводить запрос
Структурированные системы переходов
от 224 руб.

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

0.0
Ваша оценка 0.0 Отменить оценку
  • Жанр
    детская литература
  • Год выхода
    2006
  • Издательства
    Издательская фирма "Физико-математическая литература"
  • Возраст
    0+
Персоны
Рецензии (0)
Авторизуйтесь чтобы писать рецензии. Все рецензии
Комментарии (0)
Авторизуйтесь чтобы оставлять комментарии.

Поделитесь с друзьями