Автоматическая верификация программ линейной алгебры

Вы здесь

Автор:

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

Вид:

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

Год:

2007

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

Стр.:

С. 27-29

Библиография:

Библиогр.: c.29

Источник:

Карточка:

Б3.54.

Мацко Е. А..

Автоматическая верификация программ линейной алгебры// Технологии Microsoft в теории и практике программирования-2007.-С. 27-29
Библиогр.: c.29

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

ISI2 865