Eine Algebraische Spezifikation des Software-Produkts INTAKT | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Univ. Kaiserslautern

Вид:

Препринт

Год:

1983

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

программный

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

диалоговая система

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

Стр.:

221 S.

Примечание:

Алгебраическая спецификация программного продукта INTAKT

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

Bibliogr.: p.220-221

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

Номер:

83/83

Карточка:

Б3.5, Б4.5, Б2.2.

Grieneisen H..

Eine Algebraische Spezifikation des Software-Produkts INTAKT-Kaiserslautern., 1983.-221 S.-(Препринт Univ. Kaiserslautern №83/83).
Bibliogr.: p.220-221

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

PREP1 294