Вы здесь

On Object-Oriented Design and Verification

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1995
Стр.: 
P.92-111
Библиография: 
Bibliogr.: p.109-111
Место издания: 
Издательство: 
Том: 
1009
Карточка: 

Б3.52.

Lewerentz C., Lindner Th., Ruping A., Sekerinski E..

On Object-Oriented Design and Verification-Berlin, Heidelberg.: Springer// KORSO: Methods, Languages, and Tools for the Construction of Correct Software, 1995.-Vol. 1009.-P.92-111-(Lecture Notes in Computer Science).
Bibliogr.: p.109-111

Таблица в старой библиотеке: 
PAP13 866