TOP
0
0
進階搜尋

熱搜：

國際布克獎 臺灣漫遊錄

、

楊双子

、

白先勇新書預購中

、

周恩來（上、下兩冊）

、

伊隆·馬斯克

、

因《星空吟遊》，謝哲青之名走進宇宙

、

銀行內部控制與內部稽核測驗

165反詐騙

英國出版界指標大獎肯定！A.F. Steadman 獲年度作家，《史坎德》系列帶你踏上熱血奇幻旅程
縮小範圍
商品類型
外文書 (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歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品