Вы здесь

Верификация программ линейной алгебры

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1981
Место издания: 
Карточка: 

Непомнящий В. А..

Верификация программ линейной алгебры-Рига.// Синтез, тестирование, верификация и отладка программ: Тез.докл./Всесоюз.конф., Рига, 1981.

Таблица в старой библиотеке: 
ISI1 703