Документ взят из кэша поисковой машины. Адрес оригинального документа : http://asa.guru.ru/papers/title.html Дата изменения: Mon Feb 19 14:23:44 2001 Дата индексирования: Mon Oct 1 20:05:12 2012 Кодировка: koi8-r

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ им. М.В. ЛОМОНОСОВА

Научно-исследовательский вычислительный центр

АНТОНОВ Александр Сергеевич

НОВЫЙ ПОДХОД К МЕЖПРОЦЕДУРНОМУ

АНАЛИЗУ ПРОГРАММ

Специальность 05.13.11 -
математическое и программное обеспечение
вычислительных машин, комплексов, систем и сетей

Автореферат диссертации
на соискание ученой степени
кандидата физико-математических наук

Москва, 1999