Numerical Toolbox for Verified Computing / R. Hammer ... [et al.]

• Record Nr.: UNICAMPANIAVAN00290603
• Pubbl/distr/stampa: Berlin [etc.], : Springer-Verlag
• Descrizione fisica: volumi : ill. ; 24 cm
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia