Электронная книга: Егор Кузьмин «Структурированные системы переходов»
|
В монографии рассматривается класс вполне структурированных систем помеченных переходов, представляющих собой формализм для моделирования и анализа корректности параллельных и распределенных систем, таких как вычислительные машины и комплексы с параллельной и распределённой архитектурой, параллельные программы, протоколы передачи данных, модели технологических и бизнес-процессов, при этом основное внимание уделяется разрешимости классических проблем ограниченности, достижимости, покрытия, неизбежности, поддержки управляющего состояния, останова, эквивалентности и других важных семантических и темпоральных свойств. Для научных работников, преподавателей, аспирантов и студентов, интересующихся формальными методами моделирования, анализа и верификации параллельных и распределенных систем. Допущено учебно-методическим советом по прикладной математике и информатике УМО по классическому университетскому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по специальности 010200 «Прикладная математика и информатика» и по направлению 510200 «Прикладная математика и информатика». Издательство: "Издательская фирма"Физико-математическая литература"" (2006)
ISBN: 5-9221-0692-9 электронная книга Купить за 624 руб и скачать на Litres |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Ключевые мысли бестселлеров. Сборник 3 | Дорогие читатели! Перед вами – третья книга из серии уникальных бизнес-конспектов «Ключевые мысли… — Издательские решения, электронная книга Подробнее... | электронная книга | ||
| Ключевые мысли бестселлеров. Сборник 1. Читай. Применяй. Получай результат | Эту книгу можно назвать сборником конспектов трудолюбивого ученика. Только содержит она не скучные лекции… — Издательские решения, электронная книга Подробнее... | электронная книга | ||
| Ключевые мысли бестселлеров. Сборник 2 | Эту книгу можно назвать сборником конспектов трудолюбивого ученика. Только содержит она не скучные… — Издательские решения, электронная книга Подробнее... | электронная книга | ||
| Ключевые мысли бестселлеров. Сборник 4 | Ежегодно в мире издаются тысячи бизнес-книг. Как же узнать, какие из них стоит обязательно прочесть? Серия… — Издательские решения, электронная книга Подробнее... | электронная книга | ||
| Ключевые мысли бестселлеров. Сборник №5 | Пятый сборник серии «Ключевые мысли бестселлеров» содержит концентрат знаний и практических советов… — Издательские решения, электронная книга Подробнее... | электронная книга |
См. также в других словарях:
точка — 4.8 точка (pixel): Минимальный элемент матрицы изображения, расположенный на пересечении п строки и т столбца, где п горизонтальная компонента (строка), т вертикальная компонента (столбец). Источник … Словарь-справочник терминов нормативно-технической документации
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
КОД — обозначение совокупности правил или ограничений, обеспечивающих речевую деятельность или функционирование какой либо знаковой системы. К. должен быть понятным для всех участников коммуникативного процесса и поэтому носить конвенциональный… … Современный философский словарь
ФОТОГРАФИЯ — совокупность методов получения стабильных во времени изображений предметов на свето чувствит. слоях (СЧС) путём закрепления фотохим. или фотофиз. изменений, возникающих в СЧС под действием излучения, испускаемого или отражаемого объектом.… … Физическая энциклопедия
