Formal Methods for Industrial Critical Systems: Proc./16th International Workshop, FMICS 2011, Trento, Italy, August 2011 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2011

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

параллелизм

распределенный

модельно-ориентированный

развитие

временное ограничение

верификация

Стр.:

261 p.

Редактор:

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

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

Серия:

Lecture Notes in Computer Science

Том:

6959

Карточка:

Б3.5.

Formal Methods for Industrial Critical Systems: Proc./16th International Workshop, FMICS 2011, Trento, Italy, August 2011Ed. by Salaum G., Schatz B..-Berlin.: Springer, 2011.-Vol. 6959.-261 p.-(Lecture Notes in Computer Science).

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

MONO9 21