基于操作语义的弱内存模型描述及程序逻辑研究

基于操作语义的弱内存模型描述及程序逻辑研究

出版年：2015

作者：张扬

资源类型：图书

细分类型：学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

基于时序逻辑的编译优化形式化描述及测试用例生成方法

作者：夏勇
出版社：中国科学院
出版年：2006

基于TL-EPVM模型的加密协议分析基于时序逻辑的加密协议描述与验证

作者：肖得琴
出版社：中国科学院
出版年：1999

语义Web中的描述逻辑方法研究

作者：向胜军
出版年：2007

关系数据模型到多类动态描述逻辑DMDL的翻译

作者：马越
出版年：2011

弱内存模型的迹语义

作者：金钊
出版年：2010

程序逻辑与思维 :C语言

作者：罗勇
ISBN：9787121419959
出版社：电子工业出版社
出版年：2021