Подробное описание документа

   Системная информатика : сборник научных трудов / Российская академия наук, Сибирское отделение, Институт систем информатики им. А. П. Ершова. - Новосибирск : Наука, Сибирское предприятие РАН, 1995.
   Вып. 7 : Проблемы теории и методологии создания параллельных и распределённых систем / ред. Поттосин И. В. - 2000. - 310 с. : ил. - Библиогр. в конце статей. - ISBN 5-02-031669-5.

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