Вы здесь
Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2004
Ключевые слова:
Стр.:
P.160-164
Библиография:
Bibliogr.: p.164
Источник:
Том:
2984
Карточка:
Б3.53.
Childs A., Greenwald J., Ranganath V. P., Deng X., Dwyer M., Hatcliff J., Jung G., Shanti P., Singh G..
Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems// Lecture Notes in Computer Science-2004.-Vol. 2984.-P.160-164
Bibliogr.: p.164
Таблица в старой библиотеке:
PAP28 439