|
|

avaa valikko

Sylvie Boldo | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 2 tuotetta
Haluatko tarkentaa hakukriteerejä?



Computer Arithmetic and Formal Proofs - Verifying Floating-point Algorithms with the Coq System
Boldo, Sylvie; Melquiond, Guillaume
ISTE Press Ltd - Elsevier Inc
2017
Kovakantinen kirja
Computer Arithmetic and Formal Proofs - Verifying Floating-point Algorithms with the Coq System
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
145,90 €
Numerical Software Verification - 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Abate, Alessandro; Boldo, Sylvie
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Numerical Software Verification - 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €