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

Вы здесь

Автор:

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

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

1

Вид:

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

Год:

2002

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

верификация

структура

моделирование

итерация

Стр.:

С.3-12

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

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

Источник:

Программирование

Номер:

1

Карточка:

Б2.23, Б5.15.

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

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

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

ISI2 435