Sylvie Boldo grāmatas
Nav atrasti produkti, kas atbilst izvēlei.
-30%
Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms with the Coq System
Sylvie Boldo, Guillaume Melquiond
219,74 €
313,92 €
-30% ar kodu BOOKS
Piegādātāja noliktavā
-30%
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Alessandro Abate, Sylvie Boldo
74,41 €
106,30 €
-30% ar kodu BOOKS
Piegādātāja noliktavā