Formal Verification and Analysis of Multimedia Systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Ribeiro-Neto B.

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

1

Вид:

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

Год:

1999

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

верификация

формальный

мультимедиа

Стр.:

P.419-430.

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

Bibliogr.: p.429-430

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

Источник:

Proc. of the ACM Multimedia 99 (Orlando, FL, Oct.-Nov., 1999)

Карточка:

В5.1, В3.3.

Campos S., Ribeiro-Neto B., Macedo A., Bertini L..

Formal Verification and Analysis of Multimedia Systems-New York.// Proc. of the ACM Multimedia 99 (Orlando, FL, Oct.-Nov., 1999), 1999.-P.419-430.
Bibliogr.: p.429-430

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

ACM6 215