Formal Techniques for Networked and Distributed Systems - FORTE 2006: Proc./26th IFIP WG 6.1 International Conference. Paris, France, September 2006 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2006

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

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

технология

формальный метод

проектирование

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

верификация

сети петри

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

Стр.:

486 p.

Редактор:

Pradat-Peyre J. -F.

Donzeau-Gouge V. V.

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

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

Серия:

Lecture Notes in Computer Science

Том:

4229

Карточка:

А3.54, Б2.2, Б3.5.

Formal Techniques for Networked and Distributed Systems - FORTE 2006: Proc./26th IFIP WG 6.1 International Conference. Paris, France, September 2006Ed. by Najm E., Pradat-Peyre J. -F., Donzeau-Gouge V. V..-Berlin, Heidelberg.: Springer, 2006.-Vol. 4229.-486 p.-(Lecture Notes in Computer Science).

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

MONO6 228