TOP
0
0
【簡體曬書區】 單本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天以內

暢銷榜

客服中心

收藏

會員專區