Validated numerics a short introduction to rigorous computations

Bibliographic Details
Main Author: Tucker, Warwick, 1961- (-)
Format: Book
Language:Inglés
Published: Princeton, N.J. ; Woodstock : Princeton University Press cop. 2011
Subjects:
See on Universidad de Navarra:https://unika.unav.edu/discovery/fulldisplay?docid=alma991009431919708016&context=L&vid=34UNAV_INST:VU1&search_scope=34UNAV_TODO&tab=34UNAV_TODO&lang=es
Description
Physical Description:XII, 138 p. : il. ; 24 cm
Bibliography:Incluye índice y referencias bibliográficas
ISBN:9780691147819