ohjelmointi
2 videos • 0 views • by Mika Letonsaari
1
34C3 - Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware Developme
media.ccc.de
Download
2
The Mental Game of Python - Raymond Hettinger
SF Python
Download