Knygos pagal Sylvie Boldo
Produktų, atitinkančių pasirinkimą, nerasta.
-25%
Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms with the Coq System
Sylvie Boldo, Guillaume Melquiond
235,44 €
313,92 €
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
-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% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją