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, - Gilles Barthe

6.17 EUR
Prix mis à jour le: 21-04-2026 15:55:17 Produit utilisé
Voir l'offre
Identifiants
Dimensions / poids
Fonctionnalités clés
Springer