Moving Specification Structures Between Logical Systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Borzyszkowski T.

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

1

Вид:

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

Год:

1999

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

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

структура

логический

Стр.:

P.16-30

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

Bibliogr.: p.27-28

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

Серия:

Lecture Notes in Computer Science

Источник:

Lecture Notes in Computer Science

Том:

1589

Карточка:

Б2.1, Б3.51.

Borzyszkowski T..

Moving Specification Structures Between Logical Systems-Berlin, Heidelberg.// Lecture Notes in Computer Science, 1999.-Vol. 1589.-P.16-30-(Lecture Notes in Computer Science).
Bibliogr.: p.27-28

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

PAP19 966