Системная информатика. Проблемы теории и методологии создания параллельных и распределенных систем. Вып. 7

В седьмой выпуск серии "Системная информатика" вошли работы по построению математических моделей для описания параллельных систем; по подходу к спецификации динамических систем; с итогами по разработке языка КЕАЬ для спецификации и верификации систем реального времени; с обзором современного состояния проблемы автоматического распараллеливания последовательных программ; по подходу к снижению погрешности вычислений путем использования динамической длины операндов; с обзором наиболее интересных языков и систем программирования в ограничениях, существующих к настоящему времени. Книга представляет интерес для специалистов в области системной информатики, включая математиков, программистов, студентов старших курсов и аспирантов.