Вы здесь
Object Invariants in Dynamic Contexts
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2004
Ключевые слова:
Стр.:
P. 491-516
Библиография:
Bibliogr.: p.514-516
Место издания:
Источник:
Том:
3086
Карточка:
Б3.5.
Leino K.R. M., Mueller P..
Object Invariants in Dynamic Contexts-Berlin, Heidelberg.// Lecture Notes in Computer Science, 2004.-Vol. 3086.-P. 491-516-(Lecture Notes in Computer Science).
Bibliogr.: p.514-516
Таблица в старой библиотеке:
PAP29 16