Вы здесь

Symbolic Verification Method for Definite Iteration over Data Structures

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1999
Стр.: 
P.207-213.
Библиография: 
Bibliogr.: p.213
Издательство: 
Том: 
69
Карточка: 

Б2.23.

Nepomniaschy V. A..

Symbolic Verification Method for Definite Iteration over Data Structures: Springer// Information Processing Letters-1999.-Vol. 69.-P.207-213.
Bibliogr.: p.213

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