Теория процессов » MIRLIB.RU - ТВОЯ БИБЛИОТЕКА
Регистрация
A Common-Sense Guide to Data Structures and Algorithms in Python, Volume 1: Level Up Your Core Programming Skills A Common-Sense Guide to Data Structures and Algorithms in Python, Volume 1: Level Up Your Core Programming Skills Linear Algebra for Data Science, Machine Learning, and Signal Processing Linear Algebra for Data Science, Machine Learning, and Signal Processing DeFi 2.0: Новый Взгляд на Инвестиции и Будущее Эфира DeFi 2.0: Новый Взгляд на Инвестиции и Будущее Эфира Декоративно-прикладное искусство (2007) Декоративно-прикладное искусство (2007) США и борьба Латинской Америки за независимость, 1815 - 1830 США и борьба Латинской Америки за независимость, 1815 - 1830 Военный энциклопедический словарь ракетных войск стратегического назначения Военный энциклопедический словарь ракетных войск стратегического назначения Юный электротехник (1959) Юный электротехник (1959) Tipo 00 The Pasta Cookbook: For People Who Love Pasta Tipo 00 The Pasta Cookbook: For People Who Love Pasta Creating the Human Past: An Epistemology of Pleistocene Archaeology Creating the Human Past: An Epistemology of Pleistocene Archaeology Die Ersten und die Letzten: Jagdflieger im Zweiten Weltkrieg (Flechsig - Geschichte/Zeitgeschichte) Die Ersten und die Letzten: Jagdflieger im Zweiten Weltkrieg (Flechsig - Geschichte/Zeitgeschichte) The Caner's Handbook: Restoring Cane, Rush, Splint, Danish Cord, Rawhide, and Wicker Furniture (Updated & Revised Edition) The Caner's Handbook: Restoring Cane, Rush, Splint, Danish Cord, Rawhide, and Wicker Furniture (Updated & Revised Edition) Обработка динамических характеристик систем автоматизации Обработка динамических характеристик систем автоматизации PowerShell: Lists and Arrays PowerShell: Lists and Arrays The Big Book of Conspiracy Theories: History's Biggest Delusions and Speculations, From JFK to Area 51, the Illuminati, 9/11 The Big Book of Conspiracy Theories: History's Biggest Delusions and Speculations, From JFK to Area 51, the Illuminati, 9/11 The Big Book of Conspiracy Theories: History's Biggest Delusions and Speculations, From JFK to Area 51, the Illuminati, 9/11 The Big Book of Conspiracy Theories: History's Biggest Delusions and Speculations, From JFK to Area 51, the Illuminati, 9/11 Green Tea: 50 Hot Drinks, Cool Quenchers, And Sweet And Savory Treats Green Tea: 50 Hot Drinks, Cool Quenchers, And Sweet And Savory Treats
A Common-Sense Guide to Data Structures and Algorithms in Python, Volume 1: Level Up Your Core Programming Skills A Common-Sense Guide to Data Structures and Algorithms in Python, Volume 1: Level Up Your Core Programming Skills Linear Algebra for Data Science, Machine Learning, and Signal Processing Linear Algebra for Data Science, Machine Learning, and Signal Processing DeFi 2.0: Новый Взгляд на Инвестиции и Будущее Эфира DeFi 2.0: Новый Взгляд на Инвестиции и Будущее Эфира Декоративно-прикладное искусство (2007) Декоративно-прикладное искусство (2007) США и борьба Латинской Америки за независимость, 1815 - 1830 США и борьба Латинской Америки за независимость, 1815 - 1830 Военный энциклопедический словарь ракетных войск стратегического назначения Военный энциклопедический словарь ракетных войск стратегического назначения Юный электротехник (1959) Юный электротехник (1959) Tipo 00 The Pasta Cookbook: For People Who Love Pasta Tipo 00 The Pasta Cookbook: For People Who Love Pasta Creating the Human Past: An Epistemology of Pleistocene Archaeology Creating the Human Past: An Epistemology of Pleistocene Archaeology Die Ersten und die Letzten: Jagdflieger im Zweiten Weltkrieg (Flechsig - Geschichte/Zeitgeschichte) Die Ersten und die Letzten: Jagdflieger im Zweiten Weltkrieg (Flechsig - Geschichte/Zeitgeschichte) The Caner's Handbook: Restoring Cane, Rush, Splint, Danish Cord, Rawhide, and Wicker Furniture (Updated & Revised Edition) The Caner's Handbook: Restoring Cane, Rush, Splint, Danish Cord, Rawhide, and Wicker Furniture (Updated & Revised Edition) Обработка динамических характеристик систем автоматизации Обработка динамических характеристик систем автоматизации PowerShell: Lists and Arrays PowerShell: Lists and Arrays The Big Book of Conspiracy Theories: History's Biggest Delusions and Speculations, From JFK to Area 51, the Illuminati, 9/11 The Big Book of Conspiracy Theories: History's Biggest Delusions and Speculations, From JFK to Area 51, the Illuminati, 9/11 The Big Book of Conspiracy Theories: History's Biggest Delusions and Speculations, From JFK to Area 51, the Illuminati, 9/11 The Big Book of Conspiracy Theories: History's Biggest Delusions and Speculations, From JFK to Area 51, the Illuminati, 9/11 Green Tea: 50 Hot Drinks, Cool Quenchers, And Sweet And Savory Treats Green Tea: 50 Hot Drinks, Cool Quenchers, And Sweet And Savory Treats
Категория: КНИГИ » УЧЕБНАЯ ЛИТЕРАТУРА
Теория процессов
Добавил: gusnat / 9-02-2023, 08:27 /
Теория процессов
Название: Теория процессов
Автор: Миронов А.М.
Издательство: Переславль-Залесский: Издательство НОУ Институт программных систем
Год: 2008
Страниц: 346
Формат: djvu
Размер: 12,8 Мб
Язык: Русский

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


ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!





[related-news]

Похожие публикации

    {related-news}
[/related-news]
Комментарии 0
Комментариев пока нет. Стань первым!