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

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