Documents liés : [1 document(s)]

Documents (Auteurs)

• [MathOuvrage] C++ toolbox for verified computing I / Hammer, Rolf ; Hocks, Matthias ; Kulisch, Ulrich ; Ratz, Dietmar. -Berlin, Heidelberg : Springer, 1995. - xv, 377 p. ; 24 cm
  https://link.springer.com/book/10.1007/978-3-642-79651-7