登入帳戶　 |　訂單查詢　 |　購物車/收銀台( 0 )　|　在線留言板　 |　付款方式　 |　運費計算　 |　聯絡我們　 |　幫助中心　|　 加入書簽
	全部範圍 　- 大陸書（簡體） - 　- 台灣書（繁體） - 　- 英文書（原版） - 　- 音像 - 　- 雜誌 - 全文 精確	會員登入 新用戶登記

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

在 大書城 以“ 全文 模式”搜“ 袁崇义 著 ”共有 2 结果：

同時支援繁體 / 正體 / 简体字輸入搜索

	OESPA：面向语义的编程理论（英文版）（OESPA： Semantic Oriented Theo 『简体书』 作者：袁崇义　　出版：科学出版社　　日期：2019-08-01 传统的软件理论研究是形式语法和形式语义分离，语义研究成果没有实用性,测试一直是软件开发的必要步骤。本书是统一研究语法与语义的成果，包括程序模型（OE），语义公理（A），语义谓词（SP），语义谓词演算，是一套全新的完整的实用的程序理论。实例证 ...	詳情>>	售價：HK$ 162.0

	Petri网应用 『简体书』 作者：袁崇义　　出版：科学出版社　　日期：2015-08-01 《信息科学技术学术著作丛书:Petri网应用》以帮助读者用好Petri网为目的，以实例深入浅出地介绍Petri网，包括（定性与定量的）静态结构、动态性质和分析方法等。作者将30余年来对Petri网理论的学习、研究和实践凝聚到《信息科学技术学 ...	詳情>>	售價：HK$ 148.0

如果未能搜尋到意向中的書籍，可以參看：“找書說明” 或 “尋書登記服務”