Jhon Silver
Редкое для России издание по достаточно новому направлению в математике. Хорошо подан математический аппарат: последовательно и в достаточном объеме.
К сожалению, для очень узкого круга читателей.
Структурированные системы переходов
PDFOznacz jako przeczytane
- Rozmiar: 178 str.
- Kategoria: informatyka i inżynieria komputerowa, matematyka, podręczniki, w tym dla szkoły wyższej
Opis książki
В монографии рассматривается класс вполне структурированных систем помеченных переходов, представляющих собой формализм для моделирования и анализа корректности параллельных и распределенных систем, таких как вычислительные машины и комплексы с параллельной и распределённой архитектурой, параллельные программы, протоколы передачи данных, модели технологических и бизнес-процессов, при этом основное внимание уделяется разрешимости классических проблем ограниченности, достижимости, покрытия, неизбежности, поддержки управляющего состояния, останова, эквивалентности и других важных семантических и темпоральных свойств. Для научных работников, преподавателей, аспирантов и студентов, интересующихся формальными методами моделирования, анализа и верификации параллельных и распределенных систем. Допущено учебно-методическим советом по прикладной математике и информатике УМО по классическому университетскому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по специальности 010200 «Прикладная математика и информатика» и по направлению 510200 «Прикладная математика и информатика».
Szczegółowe informacje
- Ograniczenie wiekowe:
- 0+
- Data dodania do LitRes:
- 27 stycznia 2016
- Data powstania:
- 2006
- Rozmiar:
- 178 str.
- ISBN:
- 5-9221-0692-9
- Całkowity rozmiar:
- 1 MB
- Całkowity liczba stron:
- 178
- Rozmiar stron:
110 x 175 мм
- Prawa autorskie:
- Издательская фирма "Физико-математическая литература"
Егор Кузьмин "Структурированные системы переходов" – pobierz w formacie pdf lub czytaj online. Zamieszczaj komentarze, recenzje i głosuj na swoje ulubione.
Оставьте отзыв
Отзывы 1