Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Najm E., Nestmann U., Stevens P. — Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1, FMOODS 2003
Najm E., Nestmann U., Stevens P. — Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1, FMOODS 2003

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1, FMOODS 2003

Авторы: Najm E., Nestmann U., Stevens P.

Аннотация:

This volume contains the proceedings of FMOODS 2003, the 6 th IFIP WG 6.1
International Conference on Formal Methods for Open Object-Based Distributed
Systems. The conference was held in Paris, France on November 19–21, 2003.
The event was the sixth meeting of this conference series, which is held roughly
every year and a half, the earlier events having been held in Paris, Canterbury,
Florence, Stanford, and Twente.
The goal of the FMOODS series of conferences is to bring together researchers
whose work encompasses three important and related fields:
– formal methods;
– distributed systems;
– object-based technology.


Язык: en

Рубрика: Наука/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 2004

Количество страниц: 303

Добавлена в каталог: 11.04.2011

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2017
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте