TOP
0
0
進階搜尋

熱搜：

佛法是科學的終極典範

、

巨人思維

、

老公怎麼還不去死

、

理想的讀本

、

法律與人生(鄰居篇)

、

DragonMasters 1-23

、

走向馬克思主義史學之路

、

永續發展相關規範與實務

、

為妳煮食

、

新基本小六法

熱搜： 佛法是科學的終極典範、 巨人思維、 老公怎麼還不去死、 理想的讀本、 法律與人生(鄰居篇)、 DragonMasters 1-23、 走向馬克思主義史學之路、 永續發展相關規範與實務、 為妳煮食、 新基本小六法

165反詐騙

【簡體曬書節】 單本79折，5本7折，優惠只到5/31，點擊此處看更多！

縮小範圍

商品類型
簡體書 （1）
商品狀況
可訂購商品 （1）
庫存狀況
無庫存 （1）
商品定價
$400~$599 （1）
出版日期
2024年 （1）
裝訂方式
平裝 （1）
作者
佐哈爾‧曼納、艾米爾‧伯努利 （1）
出版社/品牌
清華大學出版社（大陸） （1）

三民網路書店 / 搜尋結果

共1筆商品，1/1頁
反應式和併發系統的時序邏輯（簡體書）
滿額折
1.

反應式和併發系統的時序邏輯（簡體書）

作者：佐哈爾‧曼納; 艾米爾‧伯努利  出版社：清華大學出版社(大陸)  出版日：2024/01/10 裝訂：平裝
反應式和併發系統指實時運行的計算系統，如操作系統、控制系統、交互系統和併發系統。這些系統很難規約、實現和驗證，主要原因是系統與其環境之間及系統本身的並行進程之間交互的複雜性，在交互時間上的微小變化可能導致完全不同的行為。 時序邏輯是一種形式化規約語言，可用於刻畫和分析反應式系統中有關時間和行為方面的屬性。它提供了一種簡單、自然但精確的方式來討論交互發生的順序，而無須採用絕對時間度量。 本書全面介紹了時序邏輯和作者開發的反應式程序的計算模型。 本書是國際著名計算機科學家Zohar Manna和Amir Pnueli（圖靈獎得主）的代表作，適合作為計算機、軟件工程、人工智能、自動化等專業高年級本科生、研究生的教材或參考書，也可供相關領域的研究人員和技術開發人員參考。
定價：474 元， 優惠價：87 412
海外經銷商有庫存，到貨日平均約21天以內
  • 共

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