Вы здесь

Верификация финитных итераций над наборами изменяемых структур данных

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2007
Стр.: 
С.33-46
Библиография: 
Библиогр.: c.46
Номер: 
3
Карточка: 

Б3.54.

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

Верификация финитных итераций над наборами изменяемых структур данных// Кибернетика и системный анализ-2007, №3.-С.33-46
Библиогр.: c.46

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