C++ toolbox for verified computing : theory, algorithms and programs / R. Hammer, ... [et al.]

• Record Nr.: UNICAMPANIASUN0048550
• Pubbl/distr/stampa: Berlin, : Springer
• Descrizione fisica: v. ; 25 cm.
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia