楼主: uohuo
1013 2

[文献求助] Model Checking 2nd Edition, [推广有奖]

已卖:292份资源

学科带头人

75%

还不是VIP/贵宾

-

威望
1
论坛币
2512 个
通用积分
29.7478
学术水平
118 点
热心指数
156 点
信用等级
78 点
经验
2437 点
帖子
997
精华
0
在线时间
2918 小时
注册时间
2009-5-29
最后登录
2025-9-9

楼主
uohuo 在职认证  发表于 2019-10-24 08:16:18 |AI写论文

+2 论坛币
k人 参与回答

经管之家送您一份

应届毕业生专属福利!

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

经管之家联合CDA

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

感谢您参与论坛问题回答

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

+2 论坛币
【作者(必填)】
by Edmund M. Clarke Jr. (Author), Orna Grumberg (Author), Daniel Kroening (Author), Doron Peled (Author), Helmut Veith (Author)
【文题(必填)】
Model Checking 2nd Edition,
【年份(必填)】
2018
【全文链接或数据库名称(选填)】https://www.amazon.com/Model-Che ... tal-text&sr=8-1
二维码

扫码加我 拉你入群

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

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

关键词:Checking Edition editio dition check

沙发
bkm006 在职认证  发表于 2019-10-24 08:29:54
http://book.kongfz.com/155184/1578122210/

藤椅
uohuo 在职认证  发表于 2019-10-24 17:26:57
这个是第一版

您需要登录后才可以回帖 登录 | 我要注册

本版微信群
jg-xs1
拉您进交流群
GMT+8, 2025-12-31 22:21