Evaluare: 0 din 5 stele
0 evaluări
Explorați Cărți electronice
Categorii
Explorați Cărți audio
Categorii
Explorați Reviste
Categorii
Cărți electronice
Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System
dinSylvie Boldo