水木社区手机版
首页
|版面-编程技术(Programming)|
新版wap站已上线
返回
1/1
|
转到
主题:Lamport 写了本新书
楼主
|
philbloo
|
2024-01-28 23:07:36
|
展开
A Science of Concurrent Programs
Hacker News 上有一些讨论
目测是在 TLA+ 的基础上做了一些总结和提高
可惜我现在对并行话题没什么兴趣了
--
FROM 87.93.223.*
1/1
|
转到
选择讨论区
首页
|
分区
|
热推
BYR-Team
©
2010.
KBS Dev-Team
©
2011
登录完整版