Вид документа : Многотомное издание
Шифр издания : П.209/М 340
Заглавие : Математика программных систем: Межвузовский сборник научных трудов/ Государственный комитет Российской Федерации по высшему образованию, Пермский государственный университет, гл. ред. А.И. Миков.
Выходные данные : Пермь, 1993
Колич.характеристики :188 с
Коллективы : Государственный комитет Российской Федерации по высшему образованию, Пермский государственный университет
Серия:
Цена : Б.ц.
УДК : 681.332.23(066)
Предметные рубрики: Вычислительная техника
Информатика
Сложные программные системы
Математическое обеспечение
Содержание : Основные возможности системы управления памятью ОС МКП/ А. О. Андреев. Принципы разработки и организации многоязыковой системы программирования для суперЭВМ/ А. А. Алексеев, Л. Е. Карпов, С. Л. Подгорнова. Методика использования двухуровневой оперативной памяти ВС "Эльбрус 3-1" в трансляторе с базового языка программирования/ М. А. Белов. Поддержка объектного подхода в командном языке МКП/ Д. Б. Бремер. Основные возможности ОС МКП/ А. Ю. Бяков. Программные средства доопределения частично описанных моделей в TRIAD / Е. Б. Замятина. Поддержка параллельного программирования в ОС МКП/ А. В. Маев. Организация пакетной и диалоговой обработки в МКП/ В. М. Родионов. Организация многоязыковой символьной отладки и динамической диагностики программ в ОС МКП/ Н. К. Скурат. Механизмы совместности, теорема опускания типов и логика Хоара/ В. В. Филимонов. Модель параллельных объектно-ориентированных вычислений и ее реализация в языке SMALLTALK/ Т. Б. Калинина. Инструментальные средства построения экспертных систем и вопросы их реализации/ С. И. Чуприна. Методы реализации математического обеспечения представления и применения грамматик для порождения структур/ Н. В. Фролова. Использование полиморфизма в системе автоматизации проектирования ВС/ Л. Н. Лядова. Формальная система синтеза алгоритмов на основе моделирования вычислительных процессов в дискретном пространстве состояний/ В. А. Харитонов, А. В. Олейников. Особенности построения комплексного программного обеспечения сетевых систем автоматизации испытаний/ Н. Н. Матушкин, А. А. Сюткин, А. А. Южаков. О распределении случайных битовых строк/ А. С. Родионов.
Экземпляры : всего : ОПЛ(3)
Свободны : ОПЛ(3)

Доп.точки доступа:
Миков, А.И. \ред.\; Государственный комитет Российской Федерации по высшему образованиюПермский государственный университет