(Inter-)Action Refinement: The Easy Way Compositional Refinement of Interactive Systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Techn.Univ.Munchen

Вид:

Препринт

Год:

1992

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

распределенная система

диалоговый

компонент

уточнение

верификация

разработка

Стр.:

49 p.

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

Bibliogr.: p.47-48

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

Номер:

10

Карточка:

А3.54, Б2.43, В4.43.

Broy M..

(Inter-)Action Refinement: The Easy Way Compositional Refinement of Interactive Systems-Munchen., 1992.-49 p.-(Препринт Techn.Univ.Munchen №10).
Bibliogr.: p.47-48

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

PREP2 750