Документ взят из кэша поисковой машины. Адрес оригинального документа : http://srcc.msu.ru/nivc/sci/publ/2010/r4n029.htm
Дата изменения: Thu Mar 24 14:28:50 2011
Дата индексирования: Mon Oct 1 20:47:02 2012
Кодировка: Windows-1251
Подловченко Р.И. 'Методология построения систем эквивалентных преобразований, полной в модели вычислений, и ее применение для алгебраических моделей программ' // Труды семинара 'Семантика, спецификация и верификация программ : тория и приложения' (Казань, 14-15 июня 2010), Казань, изд-во 'Отечество', 2010, с. 82-87.

Подловченко Р.И. 'Методология построения систем эквивалентных преобразований, полной в модели вычислений, и ее применение для алгебраических моделей программ' // Труды семинара 'Семантика, спецификация и верификация программ : тория и приложения' (Казань, 14-15 июня 2010), Казань, изд-во 'Отечество', 2010, с. 82-87.

Ключевые слова: