登入帳戶 | 訂單查詢 | 購物車/收銀台( 0 ) | 在線留言板 | 付款方式 | 運費計算 | 聯絡我們 | 幫助中心 | 加入書簽 | |||
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 | 臺灣用戶 |
品種:超過100萬種各類書籍/音像和精品,正品正價,放心網購,悭钱省心 | 服務:香港/台灣/澳門/海外 | 送貨:速遞/郵局/服務站 |
在 大書城 以“ 全文 模式”搜“ 袁崇义 著 ”共有 2 结果: | 同時支援繁體 / 正體 / 简体字輸入搜索 |
OESPA:面向语义的编程理论(英文版)(OESPA: Semantic Oriented Theo
『简体书』 作者:袁崇义 出版:科学出版社 日期:2019-08-01 传统的软件理论研究是形式语法和形式语义分离,语义研究成果没有实用性,测试一直是软件开发的必要步骤。本书是统一研究语法与语义的成果,包括程序模型(OE),语义公理(A),语义谓词(SP),语义谓词演算,是一套全新的完整的实用的程序理论。实例证 ... |
詳情>> | |
|
Petri网应用
『简体书』 作者:袁崇义 出版:科学出版社 日期:2015-08-01 《信息科学技术学术著作丛书:Petri网应用》以帮助读者用好Petri网为目的,以实例深入浅出地介绍Petri网,包括(定性与定量的)静态结构、动态性质和分析方法等。作者将30余年来对Petri网理论的学习、研究和实践凝聚到《信息科学技术学 ... |
詳情>> | |
|
>>> (頁碼:1/1 行數:20/2) 1 |
如果未能搜尋到意向中的書籍,可以參看:“找書說明” 或 “尋書登記服務”