Национальные ресурсы / Отчеты о НИР

Логические языки спецификаций реагирующих информационных систем

Руководитель проекта: Б.С.Байжанов
Исполнители проекта: В.В.Вербовский
Организация: Ин-т пробл. информат. и упр.
Инвентарный номер: 0205РК00017
Регистрационный номер: 0103РК00123
Ключевые слова: Математическая логика, Информационные системы, Логические языки спецификаций, Языки спецификаций,