Вы здесь
Problem-Oriented Verification System and its Application to Linear Algebra Programs
Количество экземпляров:
1
Колл. автор:
Вид:
Статья из сборника или журнала
Год:
1991
Ключевые слова:
Стр.:
P.313-329.
Библиография:
Библиогр.: c.328
Место издания:
Источник:
Карточка:
Б4.11, Б2.23.
Nepomniaschy V., Sulimov A..
Problem-Oriented Verification System and its Application to Linear Algebra Programs-Rocquencourt.// Informatika 91: Theoretical Computer Science and Methods of Compilation and Program Construction, 1991.-P.313-329.
Библиогр.: c.328
Таблица в старой библиотеке:
ISI1 10