La matematica che trasforma il mondo - I sistemi critici di sicurezza & gli algoritmi - n. 24 - quindicinale - 30/7/2021- - copertina rigida

- In qualche occasione, gli erroni software hanno avuto efletti catastrofici in termini di perdita di vite umane o di danni economiciingenti. Perche i software si guastano? Che cosa si puo fare per evitare i loro errori? Le risposte a questa due domande non sano semplici in quanto i programmi per computer sono una delle creazioni più complesse realizzate dall'uomo nel corso della sua storia. Affrontare in medo affidabile questa complessità richiede a sua volta tecniche sofisticate e strumenti matematici.