Formal Techniques for Distributed Systems: Proc./Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 2010 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2010

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

семантика

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

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

формальная система

нечеткие множества

model-based design

сравнение с образцом

алгебра процессов

реактивный

верификация

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

Стр.:

233 p.

Редактор:

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

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

Серия:

Lecture Notes in Computer Science

Том:

6117

Карточка:

Б2.2, Б3.54.

Formal Techniques for Distributed Systems: Proc./Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 2010Ed. by Hatcliff J., Zucca E..-Berlin.: Springer, 2010.-Vol. 6117.-233 p.-(Lecture Notes in Computer Science).

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

MONO8 228