Runtime Verification: Proc./4th International Conference, RV 2013, Rennes, France, September 2013 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2013

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

тестирование

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

динамический

оптимизация

безопасность

Стр.:

426 p.

Редактор:

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

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

Серия:

Lecture Notes in Computer Science

Том:

8174

Карточка:

Б3.54, Б2.12, Б2.2.

Runtime Verification: Proc./4th International Conference, RV 2013, Rennes, France, September 2013Ed. by Legay A., Bensalem S..-Berlin.: Springer, 2013.-Vol. 8174.-426 p.-(Lecture Notes in Computer Science).

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

MONO10 218