Évaluation : 0 sur 5 étoiles
0 évaluation
Explorer les Livres électroniques
Catégories
Explorer les Livres audio
Catégories
Explorer les Magazines
Catégories
Livre électronique
Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System
deSylvie Boldo