Methods, Models and Tools for Fault Tolerance | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2009

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

зависимость

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

обработка ошибок

управление

исключительная ситуация

exception management

обнаружение аномалий

отказоустойчивость

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

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

мультиагентная система

software design

программное обеспечение

верификация

статический

беспроводная сеть

Стр.:

343 p.

Редактор:

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

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

Серия:

Lecture Notes in Computer Science

Том:

5454

Карточка:

Б3.5, Б2.2.

Methods, Models and Tools for Fault ToleranceEd. by Butler M., Jones C., Romanovsky A., Traubitsyna E..-Berlin.: Springer, 2009.-Vol. 5454.-343 p.-(Lecture Notes in Computer Science).

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

MONO8 54