登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
定积分的交互式计算与形式化验证
出版社:
中国科学院软件研究所
出版年:
2022
作者:
许润清
资源类型:
图书
细分类型:
学位论文
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
数字硬件的形式化验证
作者:
韩俊刚
ISBN:
7301053320
出版社:
北京大学出版社
出版年:
2001
差分隐私的形式化验证分析与应用
作者:
刘德鹏
出版社:
中国科学院软件研究所
出版年:
2022
并发系统差分隐私的形式化验证
作者:
许丽丽
出版年:
2014
智能合约的时间约束模式及其形式化验证
作者:
赵颖琪
出版社:
中国科学院软件研究所
出版年:
2022
AACS安全协议的形式化验证
作者:
王薇
出版年:
2009
基于启发式方法的带参系统形式化验证
作者:
段凯强
出版年:
2016
×
访问借阅管理系统