Зведений каталог бібліотек Харкова
Непомнящий, В. А. Символический метод верификации фенитных итераций над изменяемыми структурами данных. [Текст] / Институт информатики СО РАН, г.Новосибирск // . — С. 3-14.
- Анотація:
С целью расширения области применения символического метода верификации вводятся финитные итерации над изменяемыми структурами данных, которые оказываются сводимыми к стандартным финитным итерациям.
- Є складовою частиною документа:
Программирование [Текст] // Программирование ; РАН - М. : Наука. — 2005.
- Теми документа
