|
|
Р79148
Ракович, Александр Гаврилович.
Принцип структурированных спецификаций в автоматизированном синтезе управляющих программ [Текст] / А. Г. Ракович, В. В. Храновский. - Минск : [б.в.], 1995. - 24 с. - (Препр. / АН Беларуси, Ин-т технической кибернетики ; 2)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Храновский, Вацлав Владимирович; АН БеларусиИнститут технической кибернетики
Видання зберігається у :
Основний фонд
|
|