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

Формальные методы спецификации и их применения в разработке программ

Руководитель проекта: Тусупов Д.А.
Исполнители проекта: Сатекбаева А.Ж.
Организация: Евразийский национальный университет им. Л.Н.Гумилева
Инвентарный номер: 0212РК02874
Регистрационный номер: 0112РК02246
Ключевые слова: Формальные спецификации, абстрактные типы, формальные методы, структуры, верифицируемость,