楼主: fan946
3238 2

【下载】Principles of Model Checking [推广有奖]

  • 0关注
  • 0粉丝

已卖：32份资源

初中生

28%

还不是VIP/贵宾

-

0%
威望
0 级
论坛币
206 个
通用积分
0.0600
学术水平
2 点
热心指数
3 点
信用等级
0 点
经验
241 点
帖子
7
精华
0
在线时间
20 小时
注册时间
2009-10-5
最后登录
2012-3-31
楼主
fan946 发表于 2009-12-25 12:25:22 |AI写论文

+2 论坛币
k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群
赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币
C. Baier和Joost-Pieter Katoen合著的一本非常权威的模型检验的书，The MIT Press出版
二维码

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0
关键词：Principles principle Checking model check 下载 Principles model Checking

The.MIT.Press.Principles.of.Model.Checking.May.2008.eBook-DDU.pdf
下载链接: https://bbs.pinggu.org/a-502528.html

17.08 MB

需要: 5 个论坛币  [购买]

相关帖子

已有 1 人评分经验 论坛币 学术水平 热心指数 收起 理由
爱萌 + 100 + 100 + 2 + 3 绝对好书，谢谢哦

总评分: 经验 + 100  论坛币 + 100  学术水平 + 2  热心指数 + 3   查看全部评分

沙发
woxinyi(真实交易用户) 发表于 2009-12-25 21:32:12
感谢楼主共享
藤椅
JGZJ文化人(真实交易用户) 发表于 2021-1-12 11:21:26
找了好久的资料，谢谢分享！
返回列表
高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 我要注册

本版微信群
加好友,备注cda
拉您进交流群

京ICP备16021002号-2 京B2-20170662号 京公网安备 11010802022788号 论坛法律顾问：王进律师 知识产权保护声明   免责及隐私声明

GMT+8, 2026-1-2 18:24