OESPA:面向语义的编程理论【新华书店总店自营店】 正版图书 正规发票 多仓就近发货 85%城市次日送达！团购优惠咨询：13284178503

¥88.25定价：¥181.50 (4.87折)

新华书店总店图书专营店

袁崇义 /2019-09-01 /科学出版社

OESPA：面向语义的编程理论 袁崇义 著 科学出版社 【速开发票，此书为单本而非一套，支持7天无理由退换】

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

¥161.00定价：¥323.00 (4.99折)

品雨斋图书专营店

袁崇义 著 /2019-01-01 /科学出版社

【正版】 OESPA：面向语义的编程理论 袁崇义 著 科学出版社 9787030600936

¥84.97定价：¥120.00 (7.09折)

江莱科技图书专营店

袁崇义 著 /2019-01-01 /科学出版社

OESPA:面向语义的编程理论 科学出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！

¥87.20定价：¥120.00 (7.27折)

明星店铺 文轩网旗舰店

袁崇义 /2019-09-01 /科学出版社

OESPA:面向语义的编程理论 科学出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！

¥88.20定价：¥120.00 (7.35折)

四川新华书店教育专营店

袁崇义 /2019-09-01 /科学出版社

OESPA：面向语义的编程理论（英文版）（OESPA: Semantic Oriented Theory of Prog

¥87.60定价：¥120.00 (7.3折)

8条评论

袁崇义 /2019-08-01 /科学出版社

【按需印刷】-OESPA/面向语义的编程理论 按需印刷商品，发货时间20个工作日，非质量问题不接受退换货。

¥120.00定价：¥120.00

科学出版社

[按需印刷]OESPA：面向语义的编程理论（英文版）（OESPA: Semantic Oriented Theory o

¥102.40定价：¥120.00 (8.54折)

四季丰美图书专营店

袁崇义 /2025-01-21 /科学出版社

[按需印刷]OESPA：面向语义的编程理论（英文版）（OESPA: Semantic Oriented Theory o

¥104.30定价：¥120.00 (8.7折)

天津慧读图书专营店

袁崇义 /2025-01-21 /科学出版社

OESPA--面向语义的编程理论(英文版)/信息科学技术学术著作丛书

¥102.00定价：¥120.00 (8.5折)

博库网旗舰店

编者:Yuan Chongyi /2019-01-01 /科学

OESPA--面向语义的编程理论(英文版)/信息科学技术学术著作丛书

¥83.40定价：¥120.00 (6.95折)

浙江出版集团图书专营店

编者:Yuan Chongyi /2019-01-01 /科学

OESPA：面向语义的编程理论 袁崇义 著 科学出版社

¥112.00定价：¥120.00 (9.34折)

颖慧图书专营店

2019-01-01 /科学出版社

OESPA:面向语义的编程理论 袁崇义 著 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！

¥85.30定价：¥120.00 (7.11折)

墨渊图书专营店

袁崇义 /2019-09-01 /科学出版社

OESPA : 面向语义的编程理论 袁崇义著 科学出版社

¥128.00定价：¥128.00

迪曼图书专营店

2018-01-01 /科学出版社

OESPA--面向语义的编程理论(英文版)/信息科学技术学术著作丛书

¥84.40定价：¥120.00 (7.04折)

博道图书专营店

编者:Yuan Chongyi /2019-01-01 /科学

OESPA--面向语义的编程理论(英文版)/信息科学技术学术著作丛书

¥83.40定价：¥120.00 (6.95折)

博库图书音像专营店

编者:Yuan Chongyi /2019-01-01 /科学

OESPA--面向语义的编程理论(英文版)/信息科学技术学术著作丛书

¥83.40定价：¥120.00 (6.95折)

土星图书专营店

编者:Yuan Chongyi /2019-01-01 /科学

OESPA--面向语义的编程理论(英文版)/信息科学技术学术著作丛书

¥84.10定价：¥120.00 (7.01折)

九层图书专营店

编者:Yuan Chongyi /2019-01-01 /科学

OESPA:面向语义的编程理论 科学出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！

¥86.20定价：¥120.00 (7.19折)

天宇阁图书专营店

袁崇义 /2019-09-01 /科学出版社

OESPA:面向语义的编程理论 袁崇义 著 科学出版社

¥86.20定价：¥120.00 (7.19折)

爱阅城图书专营店

2019-09-01 /科学出版社

OESPA--面向语义的编程理论(英文版)/信息科学技术学术著作丛书

¥84.40定价：¥120.00 (7.04折)

博库图书专营店

编者:Yuan Chongyi /2019-01-01 /科学

OESPA--面向语义的编程理论(英文版)/信息科学技术学术著作丛书

¥83.40定价：¥120.00 (6.95折)

木垛童书专营店

编者:Yuan Chongyi /2019-01-01 /科学

OESPA--面向语义的编程理论(英文版)/信息科学技术学术著作丛书

¥84.40定价：¥120.00 (7.04折)

火把图书专营店

编者:Yuan Chongyi /2019-01-01 /科学

OESPA : 面向语义的编程理论 袁崇义著 科学出版社

¥112.00定价：¥112.00

润轩图书专营店

作者 /2010-01-01 /科学出版社

OESPA--面向语义的编程理论(英文版)/信息科学技术学术著作丛书

¥82.80定价：¥120.00 (6.9折)

木垛图书旗舰店

编者:Yuan Chongyi /2019-01-01 /科学

【正版保证团购优惠】OESPA：面向语义的编程理论（英文版）（OESPA: Semantic Oriented Theo 618正品图书限时直降！6.13-6.20全场叠加满49-5，99-10，149-15！

¥87.60定价：¥120.00 (7.3折)

搜书图书专营店

袁崇义 /2019-08-08 /科学出版社