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



толығырақ

Асан Дабысұлы Тайманов (1917-1990) 
математик-ғалым, физика-математика ғылымдарының докторы, 
профессор, Қазақ КСР Ғылым академиясының академигі, 
КСРО Оқу ағарту ісінің үздігі. 

толығырақ

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

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

толығырақ

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

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

Жетекшінің аты-жөні, тегі: Тусупов Д.А.
Work head: Сатекбаева А.Ж.
: Евразийский национальный университет им. Л.Н.Гумилева
Инвентарлық номер: 0212РК02874
Тіркелген номер: 0112РК02246
негізгі сөздер: Формальные спецификации, абстрактные типы, формальные методы, структуры, верифицируемость,
Ссылка

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

Тел: 8 (727) 378 0509

E-mail: dir@inti.kz