登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

安全协议进化生成与模态逻辑验证研究
出版年：2005
作者：毛晨晓
资源类型：图书
细分类型：学位论文
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

安全协议的验证逻辑
  • 作者：隋立颍
  • 出版年：1999
...

模态逻辑导论
  • 作者：(美)切莱士(Chellas,B.F.)
  • ISBN：7306001647
  • 出版社：中山大学出版社
  • 出版年：1989
...

模态逻辑引论
  • 作者：周礼全
  • 出版社：上海人民出版社
  • 出版年：1986
...

安全协议实施自动化生成与验证
  • 作者：孟博
  • ISBN：9787030508676
  • 出版社：科学出版社
  • 出版年：2016
...

模态逻辑教程
  • 作者：文学锋编著
  • ISBN：9787030682932
  • 出版社：科学出版社
  • 出版年：2021
...

模态逻辑导论 :
  • 作者：周北海著
  • ISBN：730103394X
  • 出版社：北京大学出版社
  • 出版年：1997