Вы здесь
OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1997
Ключевые слова:
Стр.:
P.145-158.
Библиография:
Bibliogr.: p.157-158
Издательство:
Источник:
Том:
1250
Карточка:
Б3.5, Б3.52.
Pastor O., Insfran E., Pelechano V., Romero J., Merseguer J..
OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods: Springer// Lecture Notes in Computer Science-1997.-Vol. 1250.-P.145-158.
Bibliogr.: p.157-158
Таблица в старой библиотеке:
PAP16 746