Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://www.srcc.msu.ru/nivc/sci/publ/2010/r4n029.htm
Дата изменения: Wed Jan 26 17:50:54 2011
Дата индексирования: Sat Feb 12 12:27:51 2011
Кодировка: Windows-1251
Подловченко Р.И. 'Методология построения систем эквивалентных преобразований, полной в модели вычислений, и ее применение для алгебраических моделей программ' // Труды семинара 'Семантика, спецификация и верификация программ : тория и приложения' (Казань, 14-15 июня 2010), Казань, изд-во 'Отечество', 2010, с. 82-87.