Петров А. А.

Автор:

Вид	Название	Год	Автор	Серия	Редакторы	Колл. автор	Источник	Дата поступления
СТ	Верификация С-программ в мультиязыковой системе СПЕКТР	2010	Непомнящий В. А., Ануреев И. С., Атучин М. М., Марьясов И. В., Петров А. А., Промский А. В.				Моделирование и анализ информационных систем	13.04.2011
СТ	Система анализа и верификации С-программ СПЕКТР-2	2010	Непомнящий В. А., Ануреев И. С., Атучин М. М., Марьясов И. В., Петров А. А., Промский А. В.				Труды семинара 5-го международного симпозиума по компьютерным наукам в России	22.06.2010