Parece que estás en Estados Unidos. Para comprar en nuestra librería de México necesitas una dirección México. Ve a nuestra librería de Estados Unidos para continuar.
Verifying Floating-point Algorithms with the Coq System
Comprar el eBook
Ahorra 10 %Precio de venta: $1,994.00 MXN.$1,795.00MXN
Elige tu libreríaKobo anima a los amantes de los libros a leer más.
Djamal Benslimane, Ernesto Damiani, William I. Grosky, Abdelkader Hameurlain, Amit Sheth, Roland R. Wagner
$896.00
Michael Krivelevich, Konstantinos Panagiotou, Mathew Penrose, Colin McDiarmid, Nikolaos Fountoulakis, Dan Hefetz
$832.00
Xiaoying Han, Peter E. Kloeden
$2,331.00
Ching-Hsien Hsu, Xingang Liu, Shangguang Wang, Xia Feng
$896.00
Alexander Dudin, Alexander Gortsev, Anatoly Nazarov, Rafael Yakupov
$896.00
Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Serge Torres
$2,690.00
¡Sé la primera persona en valorar y reseñar este libro!
