購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽 |
|
 HOME 新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類閱讀雜誌 |
香港／國際用戶 |
 |
最新/最熱/最齊全的簡體書網 | 品種：超過100萬種書，正品正价，放心網購，悭钱省心 | 送貨：速遞 / 物流，時效：出貨後2-4日 |  |
在 大書城
以“
全文
模式”搜“
袁崇义
”共有
2
結果：
|
支援简体 / 繁體 / 正體字輸入搜索 |
 |
OESPA：面向语义的编程理论（英文版）（OESPA： Semantic Oriented Theo
作者：袁崇义 出版：科学出版社 日期：2019-08-01 传统的软件理论研究是形式语法和形式语义分离，语义研究成果没有实用性,测试一直是软件开发的必要步骤。本书是统一研究语法与语义的成果，包括程序模型（OE），语义公理（A），语义谓词（SP），语义谓词演算， ... |
詳情>> | 售價：NT$ 756 
|
 |
Petri网应用
作者：袁崇义 著 出版：科学出版社 日期：2015-08-01 《信息科学技术学术著作丛书:Petri网应用》以帮助读者用好Petri网为目的，以实例深入浅出地介绍Petri网，包括（定性与定量的）静态结构、动态性质和分析方法等。作者将30余年来对Petri网理论 ... |
詳情>> | 售價：NT$ 664
|
| >>> （頁碼:1/1 行數:20/2） 1 |
| 書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 台灣用户 | 香港/海外用户 |
| megBook.com.tw | |
| Copyright (C) 2013 - 2025 （香港）大書城有限公司 All Rights Reserved. | |