登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
优先级顶协议的形式规范和验证
出版社:
中国科学院
出版年:
2006
作者:
张博颖
资源类型:
图书
细分类型:
中文文献,学位论文
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
AACS安全协议的形式化验证
作者:
王薇
出版年:
2009
通信协议形式化描述和验证理论与方法的研究
作者:
王宇凡
出版年:
2005
程序验证和规范的形式方法
作者:
伯格(Berg,H.K.)
ISBN:
7030002792
出版社:
科学出版社
出版年:
1988
程序验证和规范形式方法
作者:
伯格
ISBN:
7030002792
出版社:
科学出版社
出版年:
1988
安全协议形式化分析与验证
作者:
肖美华
ISBN:
9787030626332
出版社:
科学出版社
出版年:
2019
软件Agent会话协议的形式描述与验证
作者:
王栩
出版社:
中国科学院
出版年:
2002
×
访问借阅管理系统