Вы здесь

Главная

Verification of Definite Iteration over Hierarchical Data Structures

Автор: 
Nepomniaschy V. A.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1999
Ключевые слова: 
верификация
итерация
иерархический
структура
данные
иси
Стр.: 
P.176-187.
Библиография: 
Bibliogr.: p.186
Издательство: 
Springer
Источник: 
Lecture Notes in Computer Science
Том: 
1577
Карточка: 

Б2.23, Б3.54.

Nepomniaschy V. A..

Verification of Definite Iteration over Hierarchical Data Structures: Springer// Lecture Notes in Computer Science-1999.-Vol. 1577.-P.176-187.
Bibliogr.: p.186

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