Model Checking 2nd Edition,

是 否 +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

扫码加我 拉你入群

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

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

分享0 收藏0 回帖

关键词：Checking Edition editio dition check

http://book.kongfz.com/155184/1578122210/

这个是第一版