Новые поступления (книга в стадии обработки)
    Саркисян, А. А.
    Повышение качества программ на основе автоматизированных методов [Текст] / А. А. Саркисян. - М. : Радио и связь, 1991. - 160 с. : ил. ; 21 см. - Библиогр.: с. 152-155. - ISBN 5-256-00629-0 : 2.50 р.
Прил.: с. 139-152
ГРНТИ
УДК

Рубрики: Вычислительная техника--Программирование

Кл.слова (ненормированные):
программирование -- структуры программирования -- качество программ -- автоматизированные методы -- исследование программы -- информационные связи -- преобразователи информации -- корректная программа
Аннотация: Рассматриваются задачи, связанные с созданием научно-обоснованной методологии автоматизированного повышения качества программ в процессах их разработки, сопровождения и использования.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Новые поступления (книга в стадии обработки)
   Хювёнен, Э.

    Мир Лиспа. В 2-х т. [Текст] / Э. Хювёнен, Й. Сеппянен. - М. : Мир, 1990 - .
   Т.2 : Методы и системы программирования. - 1990. - 319 с. : ил. ; 20 см. - ISBN 5-03-001936-7 : 1.10 р.
Прил.: с. 297-312
ГРНТИ
УДК
ББК 32.973

Рубрики: Вычислительная техника--Программирование

Кл.слова (ненормированные):
программирование -- ЛИСП -- дифференцирование -- логическое проектирование -- объектное программирование -- качество программ -- максима -- управление файлами -- экранный редактор
Аннотация: Язык Лисп широко известен и применяется в задачах символьной обработки информации, обработки естественных языков, искусственного интелекта, экспертных систем, систем логического программирования.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Сеппянен, Й.