Automated Technology for Verification and Analysis: Proc./4th International Symposium, ATVA 2006. Beijing, China, October 2006 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2006

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

верификация

автоматический

вероятностный

теория автоматов

алгоритм

временной автомат

семантика

сети петри

Стр.:

540 p.

Редактор:

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

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

Серия:

Lecture Notes in Computer Science

Том:

4218

Карточка:

А3.45, А3.5, Б2.1, Б2.2.

Automated Technology for Verification and Analysis: Proc./4th International Symposium, ATVA 2006. Beijing, China, October 2006Ed. by Graf S., Zhang W..-Berlin, Heidelberg.: Springer, 2006.-Vol. 4218.-540 p.-(Lecture Notes in Computer Science).

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

MONO6 229