2011年4月20日
推荐一本形式化的书：通信与移动系统：π演算
摘要： 此书是由图灵奖得主Milner 大牛写的目前关于π演算的第一本专著。然后由大牛林惠民院士翻译引进的。贴个当当的书图，有兴趣得童鞋可以去弄本看看。 阅读全文
posted @ 2011-04-20 00:16 牛皮糖NewPtone 阅读(726) 评论(0) 推荐(0) 编辑