On a Symbolic Method of Verification for Definite Iteration Over Data Structures | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Nepomniaschy V. A.

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

1

Вид:

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

Год:

1996

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

верификация

структура

Стр.:

P.1-22.

Место издания:

Источник:

Joint Bull. of NCC and IIS

Номер:

5

Карточка:

Б2.23.

Nepomniaschy V. A..

On a Symbolic Method of Verification for Definite Iteration Over Data Structures-Novosibirsk.// Joint Bull. of NCC and IIS, 1996, №5.-P.1-22.

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

ISI2 130