Software Reusability through Formal Specifications | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1991

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

абстрактный

тип данных

формальный

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

Стр.:

P.202-212.

Выпуск:

SWT Memo Nr. 57

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

Bibliogr.: p.211-212.

Место издания:

Источник:

Proc. of the First Intern. Workshop on Software Reusability

Карточка:

Б3.52, Б2.33.

Moineau Th., Gaudel M. -C..

Software Reusability through Formal Specifications-Dortmund.// Proc. of the First Intern. Workshop on Software Reusability, 1991.-P.202-212.
Bibliogr.: p.211-212.

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

PAP7 646