Вы здесь

Specifications and Their Use in Defining Subtypes

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1995
Стр.: 
P.245-263
Библиография: 
Bibliogr.: p.262-263
Место издания: 
Том: 
967
Карточка: 

Б2.33.

Liskov B., Wing J. M..

Specifications and Their Use in Defining Subtypes-Berlin, Heidelberg.// ZUM 95: The Z Formal Specification Notation, 1995.-Vol. 967.-P.245-263-(Lecture Notes in Computer Science).
Bibliogr.: p.262-263

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