论文题目：程序语言转换的正确性及其在XYZ系统中的应用

论文题目：程序语言转换的正确性及其在XYZ系统中的应用

出版社：中国科学院

出版年：1995

作者：沈武威

资源类型：图书

细分类型：中文文献

2浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

SAQ系统用于程序语言的转换器

作者：陈自明
出版社：中国科学院
出版年：1997

高级微程序语言SMPL及其在IBM370/138机上的应用

作者：朱瑞来
出版年：1981

程序正确性逻辑验证的一些探讨

作者：薛涛
出版社：中国科学院
出版年：2008

基于通讯的并发系统的正确性研究

作者：计泽坤
出版社：中国科学院软件研究所
出版年：2024

Java程序语言基础

作者：张锦盛
ISBN：9787568264334
出版社：北京理工大学出版社有限责任公司
出版年：2018

程序语言设计ALGOL

作者：中华人民共和国国家标准
出版社：技术标准出版社
出版年：1979