《Model Checking》电子书下载

Model Checkingtxt,chm,pdf,epub,mobi下载
作者:Edmund M. Clarke/Orna Grumberg/Doron A. Peled
出版社: The MIT Press
出版年: 07 January, 2000
页数: 314
定价: $60.00
装帧: Hardcover
ISBN: 9780262032704

内容简介 · · · · · ·

Model checking领域的权威书籍






下载地址

发布者：大适蒲蒲

文件说明：zip / 解压密码:wezp.com

迅雷下载：您需要先后,才能查看

网盘下载：您需要先后,才能查看

关于内容：内容自于互联网,如果发现有违规内容请联系管理员删除！

作者： 大适蒲蒲

大适蒲蒲

该用户很懒,还没有介绍自己。

17 条评论

发表评论

  1. 泡芙李李泡芙李李说道：
    7-2
    1#

    “无论在任何时代,都有身份的问题,人类永远不可能平等。”

    回复
  2. 勤劳的小鸡勤劳的小鸡说道：
    6-20
    2#

    作者视角观点都是很独特,现在只看了一部分,相信不会辜负自己的

    回复
  3. 萌柒世无双萌柒世无双说道：
    11-8
    3#

    必看书目之一,很多年前就有所耳闻,现在终于入手了

    回复
  4. JennyJenny说道：
    9-18
    4#

    以后一直来！

    回复
  5. 显示更多