Қазақстан Республикасының Президенті 
Қасым-Жомарт Тоқаев: 
ҚАЗАҚСТАН ЖАҢҒЫРУДЫҢ ЖАҢА КЕЗЕҢІНЕ ҚАДАМ БАСТЫ



толығырақ

ЛҰҚПАН ҚЫЛЫШҰЛЫ ҚЫЛЫШЕВ (1909-1991)  
ғалым, биология ғылымдарының докторы, профессор, 
Қазақстан FA-ның корреспондент-мүшесі, 
Қазақстанның еңбек сіңірген ғылым қайраткері. 

толығырақ

Қасым-Жомарт Тоқаев: 

«Қазақстан бірте-бірте өңірлік академиялық 
және ғылыми-зерттеу хабына айналып келеді»

толығырақ

ҒТА ұлттық қоры / ҒЗЖ туралы есептер

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

Жетекшінің аты-жөні, тегі: Б.С.Байжанов
Work head: В.В.Вербовский
: Ин-т пробл. информат. и упр.
Инвентарлық номер: 0205РК00017
Тіркелген номер: 0103РК00123
негізгі сөздер: Математическая логика, Информационные системы, Логические языки спецификаций, Языки спецификаций,
Ссылка

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

Тел: 8 (727) 378 0509

E-mail: dir@inti.kz