Написал сообщение в тусовке литература
0 4 Августа Ответить
Написал сообщение в тусовке литература
0 6 Июля Ответить
Написал сообщение в тусовке литература
0 27 Мая Ответить
Написал сообщение в тусовке литература
0 28 Апреля Ответить
Написал сообщение в тусовке литература
0 4 Апреля Ответить
Написал сообщение в тусовке
0 15 Марта Ответить
Написал сообщение в тусовке
0 15 Марта Ответить
Написал сообщение в тусовке
0 15 Марта Ответить
Написал сообщение в тусовке литература
0 24 Февраля Ответить
Написал сообщение в тусовке литература
0 20 Января Ответить
Написал сообщение в тусовке литература
0 17 Декабря 2021 Ответить
Написал сообщение в тусовке литература
0 22 Октября 2021 Ответить
Написал сообщение в тусовке литература
0 25 Августа 2021 Ответить
Написал сообщение в тусовке литература
0 28 Июля 2021 Ответить
Написал сообщение в тусовке литература
0 17 Июля 2021 Ответить
Написал сообщение в тусовке литература
0 10 Июня 2021 Ответить
Написал сообщение в тусовке литература
0 20 Апреля 2021 Ответить
Написал сообщение в тусовке литература
0 13 Апреля 2021 Ответить
Написал сообщение в тусовке литература
0 27 Февраля 2021 Ответить
Написал сообщение в тусовке литература
0 21 Февраля 2021 Ответить
Для быстрого поиска начните вводить запрос
Структурированные системы переходов
от 224 руб.

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

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

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