Compositional Refinement of Interactive Systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1992

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

интерактивный

функциональный

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

Стр.:

48 p.

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

Bibliogr.: p.47-48.

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

Номер:

89

Карточка:

Б4.33, Б4.34.

Broy M..

Compositional Refinement of Interactive Systems-Palo Alto., 1992.-48 p.-(Препринт Digital №89).
Bibliogr.: p.47-48.

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

PREP1 712