2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1, FMOODS 2003
Elie Najm
,
Uwe Nestmann
,
Perdita Stevens
Категория:
CsLn_
4.29 Mb
#2
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006,
Elie Najm
,
Jean-Francois Pradat-Peyre
,
Véronique Viguié Donzeau-Gouge
6.41 Mb