书籍简介:

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

书籍规格:

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

全网搜索试读资源

书籍信息归属:

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