Вы здесь
Система анализа и верификации С-программ СПЕКТР-2
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2010
Ключевые слова:
Стр.:
С.76-81
Библиография:
Библиогр.: c.81
Место издания:
Карточка:
Б3.54.
Непомнящий В. А., Ануреев И. С., Атучин М. М., Марьясов И. В., Петров А. А., Промский А. В..
Система анализа и верификации С-программ СПЕКТР-2-Казань.// Труды семинара 5-го международного симпозиума по компьютерным наукам в России, 2010.-С.76-81
Библиогр.: c.81
Таблица в старой библиотеке:
PAP31 540