The Programming and Proof System Ates: Advanced Techniques Integration into Efficient Scientific Software - Armand Puccetti, D. Brocard, P. Gagert, P. Gribomont, O. Pirotte, A. Pucetti, J. Raguideau, A. Remouchamps et E. Ten Cate
Sponsorisé Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations
ammareal.fr
Sponsorisé The Programming and Proof System Ates: Advanced Techniques Integration into Efficient Scientific Software - Armand Puccetti, D. Brocard, P. Gagert, P. Gribomont, O. Pirotte, A. Pucetti, J. Raguideau, A. Remouchamps et E. Ten Cate
6.64 EUR
Prix mis à jour le: 19-11-2025 21:17:05 Produit utilisé
6.64 EUR
Prix mis à jour le: 19-11-2025 21:17:05 Produit utilisé | Identifiants | |
|---|---|
| Dimensions / poids | |
| Fonctionnalités clés |
