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

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

Жетекшінің аты-жөні, тегі: Байжанов Б.С.
Work head: В.В.Вербовский
: Ин-т пробл. информат. и упр.
Инвентарлық номер: 0200РК00861
Тіркелген номер: 0100РК00348
негізгі сөздер: информационные, системы, спецификации, языки, логика, интерпретация,