Модел. и анализ информ. систем, 2010, том 17, номер 3

ЖУРНАЛЫ // Моделирование и анализ информационных систем // Архив

2010, том 17, номер 3

	Верификация C-программ на основе смешанной аксиоматической семантики И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий		5
	Составные редукции моделей Крипке и автоморфизмы Ю. А. Белов		29
	Локальная динамика уравнения с большим запаздыванием в окрестности автомодельного цикла Д. В. Глазков, С. А. Кащенко		38
	Вариационные неравенства и принцип виртуальных перемещений Н. А. Демьянков		48
	Рекуррентные последовательности над почтикольцами А. В. Сбоев		58
	Разрешимость теории $\mathrm{Th}(\omega,0,1,<,+,f_0,\dots,f_n)$ А. С. Снятков		72
	Гиперплоскости универсальной экстремали некоторых задач оптимизации Н. П. Федотова		91
	Математические модели экономических систем с учетом необратимости протекающих в них процессов А. М. Цирлин		107
	Фактор запаздывания и десинхронизация колебаний связанных осцилляторов ФитцХью–Нагумо С. Д. Глызин, Е. А. Солдатова		134
	Язык объектных запросов динамической информационной модели DIM В. С. Рублев		144