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

程序语言的形式规范概论
出版社：清华大学出版社
出版年：1986
作者：周之英
学科：电技术、电子技术
资源类型：图书
细分类型：中文文献,非服务状态
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

程序语言的行式规范概论
  • 作者：弗兰克
  • 出版社：清华大学出版社
  • 出版年：1986
...

程序语言的形成规模概论
  • 作者：Pagan
  • 出版社：清华大学出版社
  • 出版年：1986
...

程序验证和规范的形式方法
  • 作者：伯格(Berg,H.K.)
  • ISBN：7030002792
  • 出版社：科学出版社
  • 出版年：1988
...

程序验证和规范形式方法
  • 作者：伯格
  • ISBN：7030002792
  • 出版社：科学出版社
  • 出版年：1988
...

Java程序语言基础
  • 作者：张锦盛
  • ISBN：9787568264334
  • 出版社：北京理工大学出版社有限责任公司
  • 出版年：2018
...

程序语言设计ALGOL
  • 作者：中华人民共和国国家标准
  • 出版社：技术标准出版社
  • 出版年：1979