LIBROS DEL AUTOR: gilles barthe

1 resultados para LIBROS DEL AUTOR: gilles barthe

gilles barthe Eliminar filtro Quitar filtros
  • Formal Methods for Open Object-Based Distributed Systems
    Gilles Barthe
    This volume contains the proceedings of the 10th IFIP Working Group 6.1 - ternational Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2008).The conference was part of the Third Federated c- ferences on Distributed Computing Techniques (DisCoTec), together with the 10th International Conference on Coordination Models and ...
    Disponible

    66,35 €