Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету

итерация финитная

Документи:

Непомнящий, В. А. Верификация финитной итерации над наборами структур данных [Текст] / В. А. Непомнящий // Программирование. – 2002. – № 1. – 3-12.
Непомнящий, В. А. Символический метод верификации финитных итераций над изменяемыми структурами данных [Текст] / В. А. Непомнящий // Программирование. – 2005. – № 1. – 3-14.