Доказательство правильности программ линейной алгебры | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

1982

Ключевые слова:

правильность

программа

линейный

Источник:

Программирование

Номер:

4

Карточка:

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

Доказательство правильности программ линейной алгебры// Программирование-1982, №4.

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

ISI1 707