Уведомлений еще не было
  • Главная
  • Книги
  • Вполне структурированные системы помеченных переходов
Оцените книгу
1
2
3
4
5
6
7
8
9
10
Ваша оценка 0
Полная книга
Скачать

Описание книги

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

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

  • Просмотров: 106
  • Рецензий: 0
Информация об издании
  • Переводчики: не указаны
  • Серия: не указана
  • ISBN (EAN): 5-9221-0598-1
  • Языки: не указаны
  • Возрастное ограничение: не указано
  • Год написания: не указан


К этой книге не добавлены цитаты
Эта книга еще не добавлена в подборки
К ЭТОЙ КНИГЕ НЕ ДОБАВЛЕНЫ персонажи
К ЭТОЙ КНИГЕ НЕ ДОБАВЛЕНЫ ТЕСТЫ
ОГЛАВЛЕНИЕ ОТСУТСТВУЕТ
КНИГА НЕ УПОМИНАЛАСЬ В БЛОГАХ

Рецензии на книгу

Написано 0 рецензий