Calificación: 0 de 5 estrellas
0 calificaciones
Explora Libros electrónicos
Categorías
Explora Audiolibros
Categorías
Explora Revistas
Categorías
Libro electrónico
Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System
deSylvie Boldo