Вы здесь

Problem-oriented verification system and its application to linear algebra program

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

Nepomniaschy V. A., Sulimov A. A..

Problem-oriented verification system and its application to linear algebra program-Novosibirsk.// Current Topics in Informatics Systems Research, 1991.

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