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

XYZ/CCSS及并行语言的形式化编译
出版年：1993
作者：高小文
资源类型：图书
细分类型：学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

形式语义及编译形式化
  • 作者：龚淳
  • 出版年：1985
...

并行语言及其编译器的研究
  • 作者：刘小毛
  • 出版年：1993
...

并行编译方法
  • 作者：卢宇彤
  • ISBN：7118022098
  • 出版社：国防工业出版社
  • 出版年：2000
...

并行编译系统的代码生成
  • 作者：丁华
  • 出版年：1992
...

基于认知的自然语言自动形式化研究
  • 作者：徐超
  • ISBN：9787522714615
  • 出版社：中国社会科学出版社
  • 出版年：2023
...

基于时序逻辑的编译优化形式化描述及测试用例生成方法
  • 作者：夏勇
  • 出版社：中国科学院
  • 出版年：2006