Composition and Refinement of Discrete Real-Time Systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1999

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

реальное время

методология

провайдер

Стр.:

P.1-48.

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

Библиогр.: c.46-47

Источник:

ACM Trans. on Software Engineering and Methodology

Номер:

1

Том:

8

Карточка:

Б3.54, Б3.5.

Ostroff J. S..

Composition and Refinement of Discrete Real-Time Systems// ACM Trans. on Software Engineering and Methodology-1999, №1.-Vol. 8.-P.1-48.
Библиогр.: c.46-47

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

ACM5 944