Вы здесь

Reasoning and Refinement in Object-Oriented Specification Languages

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1992
Стр.: 
P.78-97.
Библиография: 
Bibliogr.: p.91-93.
Том: 
615
Карточка: 

Б3.15, Б3.51.

Lano K., Haughton H..

Reasoning and Refinement in Object-Oriented Specification Languages// Lecture Notes in Computer Science-1992.-Vol. 615.-P.78-97.
Bibliogr.: p.91-93.

Таблица в старой библиотеке: 
PAP3 718