Вы здесь

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