Согласование спецификаций автоматов, представленных в языке L

Чеботарев А.Н.
Согласование спецификаций автоматов, представленных в языке L

Вид документа: Стаття періодичного видання
Рiк видання: 2016
Автор: Чеботарев А.Н. Авторський знак: Ч-34 Вид автора: персона
Мова: Російська Обсяг: С.3-15
Шифр: 519.7 УДК: 519.7

Аннотацiя:

спецификация автомата, язык L, согласование спецификаций, композиция спецификаций, корректность композиции

Є складовою частиною документа: Кибернетика и системный анализ