Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, - Gilles Barthe

Sponsorisé  Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations

Sponsorisé Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 20 - Gilles Barthe

1.00 EUR
Prix mis à jour le: 05-11-2026 19:45:25 Produit utilisé
Voir l'offre
Identifiants
Dimensions / poids
Fonctionnalités clés
Springer