推荐星级:
  • 1
  • 2
  • 3
  • 4
  • 5

Principles_of_Model_Checking_CBaier_Joos

更新时间:2010-10-23 03:32:01 大小:5M 上传用户:fengfeng查看TA发布的资源 标签:Principles_of_Model_Checking_CBaier_Joos 下载积分:0分 评价赚积分 (如何评价?) 打赏 收藏 评论(0) 举报

资料介绍

几位图灵奖得主的巨作 基于对模型检测数十年的研究-Principles of Model Checking_C.Baier_Joost2008_original

部分文件列表

文件名文件大小修改时间
Principles of Model Checking_C.Baier_Joost2008_original.pdf6486KB2009-10-18 18:03:26

全部评论(0)

暂无评论

上传资源 上传优质资源有赏金

  • 打赏
  • 30日榜单

推荐下载