Вы здесь
On a Symbolic Method of Verification for Definite Interaction over Data Structures
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1996
Ключевые слова:
Стр.:
P.1-22.
Библиография:
Bibliogr.: p.15-16
Место издания:
Серия:
Источник:
Номер:
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