TLA+ PluaCal真的是好东西阿，太牛了 - Programming版 - 未名存档

本页内容为未名空间相应帖子的节选和存档，一周内的贴子最多显示50字，超过一周显示500字访问原贴

Programming版 - TLA+ PluaCal真的是好东西阿，太牛了

相关主题
● 这版上有用hadoop的么？	● 搜索引擎确实还有得做
● python和PERL哪个管用一点	● 分布式看什么
● 问个mpi的问题	● Re: 大家介绍一下当下比较流行的网页编程吧 (转载)
● 讨论一道onsite时候问的问题 (转载)	● FMP3分布式编程
● 请推荐C++ design方面的书	● 迷惑了
● 《分布式系统概念与设计》第5版[PDF]	● 好虫，看看你的东东有没有问题？
● 想画分布式系统架构图，类似Google的mapreduce系统，用什么软件比较好？	● 看来以后要把春运买票网设计当做面试考题了
● 分布式文件存储系统，以及此基础上的分布式计算，大家有何推荐的？	● 本着负责的态度最后说几句

相关话题的讨论汇总
话题: pluacal话题: tla话题: 太牛

进入Programming版参与讨论

1

(共1页)

C*******n 发帖数: 193	1 TLA+ PluaCal真的是好东西阿，太牛了搞分布式必会的工具
l*******s 发帖数: 72	2 牛是牛，但不是必须工具。你估计看了这个report吧：http://research.microsoft.com/en-us/um/people/lamport/tla/formal-methods-amazon.pdf。【在 C*******n 的大作中提到】 : TLA+ PluaCal真的是好东西阿，太牛了 : 搞分布式必会的工具
t**r 发帖数: 3428	3 有点意思其他工具有些什么？【在 l*******s 的大作中提到】 : 牛是牛，但不是必须工具。 : 你估计看了这个report吧：http://research.microsoft.com/en-us/um/people/lamport/tla/formal-methods-amazon.pdf。
C*******n 发帖数: 193	4 其他的推荐哪个 ★ 发自iPhone App: ChineseWeb 8.7 【在 l*******s 的大作中提到】 : 牛是牛，但不是必须工具。 : 你估计看了这个report吧：http://research.microsoft.com/en-us/um/people/lamport/tla/formal-methods-amazon.pdf。
b*****n 发帖数: 2324	5 同问，还有更好的么？【在 C*******n 的大作中提到】 : 其他的推荐哪个 : : ★ 发自iPhone App: ChineseWeb 8.7

1

(共1页)

进入Programming版参与讨论

相关主题
● 魏老师应该出来说一下，到底要解决什么问题	● 请推荐C++ design方面的书
● 春运火车票2个方案比较	● 《分布式系统概念与设计》第5版[PDF]
● 再给魏老师的方案打个补丁	● 想画分布式系统架构图，类似Google的mapreduce系统，用什么软件比较好？
● 大型系统这些年	● 分布式文件存储系统，以及此基础上的分布式计算，大家有何推荐的？
● 这版上有用hadoop的么？	● 搜索引擎确实还有得做
● python和PERL哪个管用一点	● 分布式看什么
● 问个mpi的问题	● Re: 大家介绍一下当下比较流行的网页编程吧 (转载)
● 讨论一道onsite时候问的问题 (转载)	● FMP3分布式编程

相关话题的讨论汇总
话题: pluacal话题: tla话题: 太牛

未名新帖统计// 7月16日

#	版面	帖数(主题数)
-	全站	4871 (796)
1	Military	3777 (569)
2	Stock	341 (51)
3	Joke	117 (17)
4	History	116 (3)
5	Automobile	100 (9)
6	USANews	55 (9)
7	Midlife	45 (1)
8	Headline	41 (41)
9	Dreamer	33 (13)
10	FleaMarket	32 (20)
11	Living	30 (7)

* 这里只显示发帖超过25的版面，努力灌水吧:-)