形式化验证

来自: m_vptr (北京) 2012-10-09 18:49:39创建 2016-01-17 11:10:03更新

Formal Verification
Model Checking

关注 10 人关注

来自：豆瓣读书

(7人评价)

出版年: 2015-7

2016-01-17 11:10:03 赞回复

> 我来回复

来自：豆瓣读书

9.2 (50人评价)

作者: Stephen Brown Zvonko Vranesic
出版社: 机械工业出版社
出版年: 2008-1

2013-03-02 15:51:36 赞回复

> 我来回复

来自：豆瓣读书

9.1 (25人评价)

作者: Christel Baier / Joost-Pieter Katoen
出版社: The MIT Press
出版年: 2008-05-31

2012-10-09 18:51:16 赞回复

> 我来回复

来自：豆瓣读书

(1人评价)

作者:
出版社: 北京大学出版社
出版年: 1900-01-01

2012-10-09 18:51:16 赞回复

> 我来回复

来自：豆瓣读书

8.0 (28人评价)

作者: 哈斯
出版社: 机械工业出版社
出版年: 2007-7

2012-10-09 18:51:16 赞回复

> 我来回复

什么是书单 · · · · · ·

书单是收集图书的工具，创建书单后，在豆瓣看到符合书单主题的图书时可以将它放入书单，方便以后找到。

你还可以看看其他人的收集，关注你感兴趣的书单。