在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- 形式化方法 程序分析 验证 (weiky™)
- formal theory (qdsxinyee)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有9人想读,手里有一本闲着?
订阅关于软件工程形式化方法与语言的评论:
feed: rss 2.0
订阅关于软件工程形式化方法与语言的评论:
feed: rss 2.0
0 有用 牛皮糖 2012-01-24 19:25:23
国内这方面的书太少了
0 有用 牛皮糖 2012-01-24 19:25:23
国内这方面的书太少了