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

Вы здесь

Автор:

Nepomniaschy V. A.

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

1

Вид:

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

Год:

1996

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

верификация

программа

Стр.:

P.1-22.

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

Bibliogr.: p.15-16

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

Серия:

Computer Science

Источник:

Joint Bull. of NCC and IIS

Номер:

5

Карточка:

Б2.23.

Nepomniaschy V. A..

On a Symbolic Method of Verification for Definite Interaction over Data Structures-Novosibirsk.// Joint Bull. of NCC and IIS, 1996, №5.-P.1-22.-(Computer Science).
Bibliogr.: p.15-16

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

PAP19 219