软件工程卷2:系统与语言归约

软件工程卷2:系统与语言归约

出版社：清华大学出版社

ISBN：9787302208914

出版年：2010

作者：刘泊超等译

学科：电技术、电子技术

资源类型：图书

细分类型：中文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

软件工程语言——Z

作者：缪淮扣
ISBN：7543913232
出版社：上海科学技术文献出版社
出版年：1999

安全归约导论

作者：郭福春
ISBN：9787576301175
出版社：北京理工大学出版社,北京理工大学出版社有限责任公司
出版年：2021

软件工程 :Java语言实现

作者：沙切斯
ISBN：711107355X
出版社：机械工业出版社
出版年：1999

基于本体的大数据归约技术

作者：郝文宁
ISBN：9787560668208
出版社：西安电子科技大学出版社
出版年：2023

新的双侧O2H引理及其应用——针对量子随机谕言机模型中紧归约的研究

作者：包家玮
出版社：中国科学院信息工程研究所
出版年：2024

软件工程形式化方法与语言

作者：李莹
ISBN：9787308066679
出版社：浙江大学出版社
出版年：2010