Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July 18-22, 2001. Proceedings - Gerard Berry, Hubert Comon et Alain Finkel

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

Sponsorisé Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July 18-22, 2001. Proceedings - Gerard Berry, Hubert Comon et Alain Finkel

6.17 EUR
Prix mis à jour le: 17-05-2026 20:35:13 Produit utilisé
Voir l'offre
Identifiants
Dimensions / poids
Fonctionnalités clés
Springer