Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1992

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

формальный

разработка

программа

алгебраический

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

параметризация

семантика

Стр.:

P.689-736.

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

Bibliogr.: p.734-736.

Источник:

Acta Informatica

Номер:

8

Том:

29

Карточка:

Б2.24, Б3.5.

Sannella D., Sokolowski S., Tarlecki A..

Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited// Acta Informatica-1992, №8.-Vol. 29.-P.689-736.
Bibliogr.: p.734-736.

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

PAP5 93