Вид документа : Однотомное издание Шифр издания : АР02-2031 Автор(ы) : Ломазова И.А. Заглавие : Анализ семантических свойств некоторых классов программ и сетей Петри : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук :05.13.17 Выходные данные : М., 2001 Колич.характеристики :32 с.: ил. Примечания : Библиогр.: с. 28-32(36 назв.) ГРНТИ : 50.41 УДК : 004.423.4(043) + 519.179.2(043) Экземпляры :ХР(1) Свободны : ХР(1)