Верификация финитных итераций над наборами изменяемых структур данных | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2007

Ключевые слова:

верификация

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

структура данных

символический

Стр.:

С.33-46

Библиография:

Библиогр.: c.46

Источник:

Кибернетика и системный анализ

Номер:

3

Карточка:

Б3.54.

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

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

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

ISI2 913