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

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

Жетекшінің аты-жөні, тегі: Байжанов Б.С.
Work head: В.В.Вербовский
: Ин-т пробл. информат. и упр.
Инвентарлық номер: 0299РК00524
Тіркелген номер: 0197РК00327
негізгі сөздер: реагирующие, системы, логические, языки, методика,