Вы здесь

Символический метод верификации финитных итераций над изменяемыми структурами данных

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

Б2.23.

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

Символический метод верификации финитных итераций над изменяемыми структурами данных// Программирование-2005, №1.-С.3-14
Библиогр.: c.13-14

Таблица в старой библиотеке: 
PAP29 829