The Larch/Smalltalk Interface Specification Language | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

1994

Ключевые слова:

спецификация

интерфейс

верификация

Стр.:

P.221-253.

Библиография:

Bibliogr.: p.251-253.

Источник:

ACM Trans. Software Engineering and Methodology

Номер:

3

Том:

3

Карточка:

Б3.51, Б2.23.

Cheon Y., Leavens G. T..

The Larch/Smalltalk Interface Specification Language// ACM Trans. Software Engineering and Methodology-1994, №3.-Vol. 3.-P.221-253.
Bibliogr.: p.251-253.

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

ACM4 469