Вы здесь
Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.80-95.
Библиография:
Bibliogr.: p.95.
Издательство:
Источник:
Том:
1026
Карточка:
Б3.52, А3.54.
Zwiers J., Hannemann U., Lakhneche Y., De Roever W. -P..
Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems: Springer// Lecture Notes in Computer Science-1995.-Vol. 1026.-P.80-95.
Bibliogr.: p.95.
Таблица в старой библиотеке:
PAP14 148