TOP
0
0
進階搜尋

熱搜：

115上學期參考書

、

開學季推薦

、

Bluey盒書

、

小學生國語辭典

、

紅樓夢心理學（上冊）

、

絕對超級大雨傘

、

新基本小六法

、

最新綜合六法全書

、

東野圭吾

165反詐騙

💡 邁向小一的第一步！給孩子一本「查得到自信」的專屬辭典，輕鬆跨越閱讀關卡！🚀
縮小範圍
商品類型
外文書 (1)
商品狀態
可訂購 (1)
無庫存 (1)
商品定價
$800以上 (1)
出版日期
2017年以前 (1)
裝訂方式
精裝 (1)
出版社/品牌
Springer-Verlag New York Inc (1)
作者
Krzysztof R. Apt/ Frank S. De Boer/ Ernst-Rudiger Olderog (1)
搜尋結果 /

Ernst-Rudiger Olderog

作者：Ernst-Rudiger Old...
共 1 筆
第1 / 1 頁
Verification of Sequential and Concurrent Programs
1.

Verification of Sequential and Concurrent Programs
出版日：2009/10/01 作者：Krzysztof R. Apt; Frank S. De Boer; Ernst-Rudiger Olderog  出版社：Springer-Verlag New York Inc  裝訂：精裝
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language-bounded in the sense that i
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
  • 共 1筆
    第 1 頁

暢銷榜
客服中心
收藏
會員專區
三民書局
關於我們
門市專區
藝文講座
學習平台
異業合作
圖書採購/編目
人才招募
禮券兌換處
瀏覽器資訊
三民網路書店服務
會員服務條款
資訊安全警語
隱私權政策
新手購書
圖書分類
中國圖書館分類
空中大學購書
好站連結
企業會員專區
加入企業會員
服務條款
會員須知
圖書目錄下載
三民・東大・弘雅三民
小山丘童書(0-6歲)
兒童・青少年(7歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品