- Erik Meijer talks with Leslie Lamport about "Mathematical Reasoning and Distributed Systems" http://channel9.msdn.com/shows/going+deep/e2e-erik-meijer-and-leslie-lamport-mathematical-reasoning-and-distributed-systems 7 comments programming
- Lamport: "When you understand something, then you can find the math to express that understanding. The math doesn't provide the understanding." http://channel9.msdn.com/shows/going+deep/e2e-erik-meijer-and-leslie-lamport-mathematical-reasoning-and-distributed-systems/ 41 comments programming
Linking pages
Related searches:
Search whole site: site:channel9.msdn.com
Search title: Shows | Microsoft Learn
See how to search.