| 暂存书架(0) | 登录

MARC状态:审校 文献类型:中文图书 浏览次数:106

题名/责任者:
OESPA:面向语义的编程理论/Yuan Chongyi
出版发行项:
北京:科学出版社,2019
ISBN及定价:
978-7-03-060093-6/CNY120.00
载体形态项:
211页:图;24cm
其它题名:
semantic oriented theory of programming
丛编项:
智能科学技术著作丛书
个人责任者:
袁崇义
学科主题:
语义网络-网络编程-英文
中图法分类号:
TP18
责任者附注:
责任者规范汉译姓名: 袁崇义
书目附注:
有书目
提要文摘附注:
本书是统一研究语法与语义的成果, 包括程序模型 (OE), 语义公理 (A), 语义谓词 (SP), 语义谓词演算, 是一套全新的完整的实用的程序理论。实例证明用OESPA可以用于程序开发各步骤, 程序验证及程序验证自动化 (符号演算)。测试不再是必要的。为开发相应的验证工具奠定了基础。语义谓词和语义谓词演算是传统数学没有的新概念, 新理论, 突破了传统数学的局限, 使新的程序理论成为可能。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
TP18/4243 72334660   自然书库(3F东)     可借 自然书库(3F东)
显示全部馆藏信息
CADAL相关电子图书
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架