Вы здесь

Баранов С. Н.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Спецификация систем с помо ью базовых протоколов 2005 Летичевский А. Ад., Капитонова Ю. В., Волков В. А., Летичевский А. А., Баранов С. Н., Котляров В. П., Вейгерт Т. Кибернетика и системный анализ 20.12.2005
СТ Проверка корректности требований к программным системам, представленным атрибутными транзиционными системами 2003 Баранов С. Н., Волков В. А., Годлевский А. Б., Капитонова Ю. В., Летичевский А. А. Кибернетика и системный анализ 13.02.2004
СТ Феномен Форта 1995 Баранов С. Н., Колодин М. Ю. Системная информатика Методы теоретического и системного программирования 25.10.1995
СТ Отчуждение программного продукта в системе Бета-Форт 1992 Баранов С. Н. Санкт-Петербургский ин-т информатики и автоматизации РАН Проблемы технологии программирования 06.10.1995
СТ Система символьных вычислений МИНИСАК 1993 Баранов С. Н. Программирование 02.09.1993
М Описание языка Форт. Руководство программиста 1982 Баранов С. Н. 21.05.1992
М Язык Форт и его реализации 1988 Баранов С. Н., Ноздрунов Н. Р. ЭВМ в производстве 09.04.1992
А Перенос и реализация больших пакетов компьютерной алгебры на базе Форт-технологии 1990 Баранов С. Н. 29.01.1991
А Отладка и исследование программ в системе программирования на базе алгоритмического языка АЛГОЛ 68 1978 Баранов С. Н. 07.06.1978

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Проблемы технологии программирования: Сборник научных трудов 1992
  1. Баранов С. Н.
Санкт-Петербургский ин-т информатики и автоматизации РАН 08.11.1995