Вы здесь
Применение символического метода элиминации инвариантов циклов к верификации программ линейной алгебры
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
2003
Ключевые слова:
Стр.:
37 с.
Библиография:
Библиогр.: c.37
Место издания:
Номер:
102
Карточка:
Б3.54.
Непомнящий В. А., Мацко Е. А..
Применение символического метода элиминации инвариантов циклов к верификации программ линейной алгебры-Новосибирск., 2003.-37 с.-(Препринт ИСИ СО РАН №102).
Библиогр.: c.37
Таблица в старой библиотеке:
PREP2 942