Вы здесь
Символический метод верификации финитных итераций над изменяемыми структурами данных
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2005
Ключевые слова:
Стр.:
С.3-14
Библиография:
Библиогр.: c.13-14
Источник:
Номер:
1
Карточка:
Б2.23.
Непомнящий В. А..
Символический метод верификации финитных итераций над изменяемыми структурами данных// Программирование-2005, №1.-С.3-14
Библиогр.: c.13-14
Таблица в старой библиотеке:
PAP29 829