Вы здесь

Главная

Санкт-Петербургский ин-т информатики и автоматизации РАН

Связанные издания:

Вопросы технологии программирования распределенных гетерогенных систем со статическим разделением функций
Иммунная система за иты от вирусов в технологии создания программ
Инструментарий анализа поведения программ в распределенных вычислительных системах
История информатики и кибернетики в Санкт-Петербурге (Ленинграде). Вып.1. Яркие фрагменты истории
История информатики и кибернетики в Санкт-Петербурге (Ленинграде). Вып.2.
Метрика программного проекта, ориентированная на управление проектированием расширяемых систем
Модели жизненного цикла программного продукта при повторном использовании программ
Новые синтаксические конструкции и бэктрекинг для языка Форт
О средствах прохождения и коммутации коллективов процессов
Отладка программ реального времени в инструментальной системе Комфорт
Отчуждение программного продукта в системе Бета-Форт
Проблемы технологии программирования: Сборник научных трудов
Распределенная ОС Тритон: Архитектура и функции ядра
Распределенная форт-система в локальной информационно-вычислительной сети
СПАРТА - система спецификации и анализа программ реального времени
Технология программирования, основанная на подходе VDM
ТИП-технология программирования
Форт и новые технологии программирования