TOP
0
0
即日起~7/10,三民書局週年慶暖身活動,簽到拿好禮!

縮小範圍


商品類型

原文書 (1)
商品狀況

可訂購商品 (1)
庫存狀況

無庫存 (1)
商品定價

$800以上 (1)
出版日期

2016年以前 (1)
裝訂方式

精裝 (1)
作者

Krzysztof R. Apt/ Frank S. De Boer/ Ernst-Rudiger Olderog (1)
出版社/品牌

Springer-Verlag New York Inc (1)

三民網路書店 / 搜尋結果

1筆商品,1/1頁
Verification of Sequential and Concurrent Programs
作者:Krzysztof R. Apt; Frank S. De Boer; Ernst-Rudiger Olderog  出版社:Springer-Verlag New York Inc  出版日:2009/10/01 裝訂:精裝
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]。

暢銷榜

客服中心

收藏

會員專區