OESPA : 面向语义的编程理论

OESPA : 面向语义的编程理论

袁崇义, 著

出版社:科学出版社

年代:2018

定价:90.0

书籍简介:

传统的软件理论研究是形式语法和形式语义分离,语义研究成果没有实用性,测试一直是软件开发的必要步骤。本书是统一研究语法与语义的成果,包括程序模型(OE),语义公理(A),语义谓词(SP),语义谓词演算,是一套全新的完整的实用的程序理论。实例证明用OESPA可以用于程序开发各步骤,程序验证及程序验证自动化(符号演算)。测试不再是必要的。为开发相应的验证工具奠定了基础。语义谓词和语义谓词演算是传统数学没有的新概念,新理论,突破了传统数学的局限,使新的程序理论成为可能。

书籍规格:

书籍详细信息
书名OESPA : 面向语义的编程理论站内查询相似图书
丛书名智能科学技术著作丛书
9787030600936
如需购买下载《OESPA : 面向语义的编程理论》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位科学出版社
版次1版印次1
定价(元)90.0语种英文
尺寸24 × 17装帧平装
页数 400 印数

书籍信息归属:

OESPA : 面向语义的编程理论是科学出版社于2018.12出版的中图分类号为 TP18 的主题关于 语义网络-网络编程-英文 的书籍。