Kirjat Sylvie Boldo
Valintaa vastaavia tuotteita ei löytynyt.
-25%
Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms with the Coq System
Sylvie Boldo, Guillaume Melquiond
235,44 €
313,92 €
-25% koodilla BOOKS
Toimittajalla varastossa
-25%
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Alessandro Abate, Sylvie Boldo
79,73 €
106,30 €
-25% koodilla BOOKS
Toimittajalla varastossa