Bewertung: 0 von 5 Sternen
0 Bewertungen
Entdecken Sie eBooks
Kategorien
Entdecken Sie Hörbücher
Kategorien
Entdecken Sie Zeitschriften
Kategorien
eBook
Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System
vonSylvie Boldo