22 min listen
Hacker-Proof Code Confirmed
ratings:
Length:
16 minutes
Released:
Sep 20, 2016
Format:
Podcast episode
Description
Computer scientists can prove certain programs to be error-free with the same certainty that mathematicians prove theorems.
Released:
Sep 20, 2016
Format:
Podcast episode
Titles in the series (100)
The New Laws of Explosive Networks: How explosive networks form. by Quanta Science Podcast