机读格式显示(MARC)

• 000 01300nam 22002893 450

• 001 0000322614

• 005 20210412090700.0

• 010 __ |a 978-7-03-060093-6 |d CNY120.00

• 099 __ |a CALB012019169706

• 100 __ |a 20191107d2018 ekmy0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y a 000yy

• 106 __ |a r

• 200 1_ |a OESPA |A Oespa |e 面向语义的编程理论 |f 袁崇义著

• 210 __ |a 北京 |c 科学出版社 |d 2018

• 215 __ |a 211页 |d 24cm

• 225 2_ |a 智能科学技术著作丛书 |A zhi neng ke xue ji shu zhu zuo cong shu

• 312 __ |a 其它题名：面向语义的编程理论

• 320 __ |a 有书目(第212-213页)

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

• 410 _0 |1 2001 |a 智能科学技术著作丛书

• 517 1_ |a 面向语义的编程理论 |A mian xiang yu yi <de,di> bian cheng li lun

• 690 __ |a TP18

• 701 _0 |a 袁崇义 |A Yuan Chong Yi |4 著

• 801 _0 |a CN |b NEU |c 20191215

• 905 __ |a AUSTL |d TP18/Y237