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

Marque: Springer

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

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 6.64 EUR

19-11-2025 21:17:05