«Государственные услуги, оказываемые АО «НЦГНТЭ»: 

практические рекомендации для научного сообщества»

подробнее

Касым-Жомарт Токаев: 

«Казахстан постепенно превращается 
в региональный академический и научно-исследовательский хаб»

подробнее

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

Разработка логических исчислений, описывающих поведение информационных систем

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

050026, Алматы, ул. Богенбай батыра, 221

Тел: 8 (727) 378 0509

E-mail: dir@inti.kz