Real-Time: Theory in Practice: Proc./REX Workshop. Mook, The Netherlands, June 1991 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

Сборник или журнал

Год:

1992

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

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

программа

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

верификация

Стр.:

723 p.

Реферат:

Реальное время. Теория и практика: труды семинара проекта REX, Нидерланды, июнь 1991 г.

Редактор:

De Bakker J. W.

De Roever W. P.

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

Издательство:

Серия:

Lecture Notes in Computer Science

Том:

600

Карточка:

Б1.3, А3.45, Б3.33.

Real-Time: Theory in Practice: Proc./REX Workshop. Mook, The Netherlands, June 1991Ed. by De Bakker J. W., Huizing C., De Roever W. P., Rozenberg G..-Berlin, Heidelberg.: Springer, 1992.-Vol. 600.-723 p.-(Lecture Notes in Computer Science).

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

MONO1 298