Search

Home > Quanta Science Podcast > Hacker-Proof Code Confirmed
Podcast: Quanta Science Podcast
Episode:

Hacker-Proof Code Confirmed
Category: Science & Medicine
Duration: 00:00:00
Publish Date: 2016-09-20 11:06:38
Description: Computer scientists can prove certain programs to be error-free with the same certainty that mathematicians prove theorems.
Total Play: 0

Some more Podcasts by Quanta Magazine

300+ Episodes
Quanta Scien .. 10+     5
60+ Episodes
The Joy of W ..    
60+ Episodes
The Joy of W ..