Decomposing Real-Time Specifications | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1998

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

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

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

декомпозиция

Стр.:

P.465-489

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

Bibliogr.: p.487-489

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

Серия:

Lecture Notes in Computer Science

Источник:

Lecture Notes in Computer Science

Том:

1536

Карточка:

А3.45, Б3.33, Б2.2.

Olderog E. -R., Dierks H..

Decomposing Real-Time Specifications-Berlin, Heidelberg.// Lecture Notes in Computer Science, 1998.-Vol. 1536.-P.465-489-(Lecture Notes in Computer Science).
Bibliogr.: p.487-489

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

PAP19 96