反應式和併發系統的時序邏輯佐哈爾.曼納 9787302644972 【台灣高等教育出版社】

Name: 反應式和併發系統的時序邏輯 佐哈爾.曼納 9787302644972 【台灣高等教育出版社】
Brand: abooksthep
Price: 502.0 TWD
Availability: InStock

圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：清華大學

NT$502

商品編號:

供貨狀況: 尚有庫存

加入最愛

商品介紹

*數量非實際在台庫存
*完成訂單後正常情形下約兩周可抵台。
*本賣場提供之資訊僅供參考，以到貨標的為實際資訊。
印行年月：202312*若逾兩年請先於私訊洽詢存貨情況，謝謝。
台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。
書名：反應式和併發系統的時序邏輯
ISBN：9787302644972
出版社：清華大學
著編譯者：佐哈爾.曼納
頁數：216
所在地：中國大陸 *此為代購商品
書號：1610628
可大量預訂，請先連絡。

內容簡介

反應式和併發系統指實時運行的計算系統，如操作系統、控制系統、交互系統和併發系統。這些系統很難規約、實現和驗證，主要原因是系統與其環境之間及系統本身的并行進程之間交互的複雜性，在交互時間上的微小變化可能導致完全不同的行為。時序邏輯是一種形式化規約語言，可用於刻畫和分析反應式系統中有關時間和行為方面的屬性。它提供了一種簡單、自然但精確的方式來討論交互發生的順序，而無須採用絕對時間度量。本書全面介紹了時序邏輯和作者開發的反應式程序的計算模型。本書是國際著名計算機科學家Zohar Manna和Amir Pnueli（圖靈獎得主）的代表作，適合作為計算機、軟體工程、人工智慧、自動化等專業高年級本科生、研究生的教材或參考書，也可供相關領域的研究人員和技術開發人員參考。

作者簡介

艾米爾·伯努利（Amir Pnueli），是以色列魏茨曼學院的計算機科學專業的教授，他在以色列理工學院獲得數學學士學位，在以色列魏茨曼學院獲得應用數學博士學位。Pnueli教授是Science of Computer Programming Journal的副主編。

第Ⅰ部分併發模型
第1章基本模型
1 1 通用模型
1 1 1 基礎語言
1 1 2 基本轉換系統
1 1 3 轉換關係pι
1 1 4 使能與非使能轉換
1 1 5 空轉換與勤勉轉換
1 1 6 計算
1 1 7 具體模型
1 2 模型1：轉換圖
1 2 1 聲明
1 2 2 進程
1 2 3 基本轉換系統圖
1 2 4 用交錯表示併發性
1 2 5 調度
1 3 模型2：共享變數文本
1 3 1 簡單語句
1 3 2 複合語句
1 3 3 程序
1 3 4 文本程序中的標記
1 3 5 標記等價關係
1 3 6 文本語言中的位置
1 4 共享變數文本語義
1 4 1 狀態變數和狀態
1 4 2 轉換
1 4 3 初始條件
1 4 4 計算
1 4 5 下標變數
1 5 語句間的結構關係
1 5 1 子語句
1 5 2 控制謂詞at、after和in
1 5 3 語句的使能性
1 5 4 進程和并行語句
1 5 5 競爭語句
1 6 行為等價
1 6 1 初步近似
1 6 2 可觀測和可簡化的行為
1 6 3 轉換系統的等價性
1 6 4 語句一致性
1 6 5 例子
1 6 6 模擬與實現
1 7 分組語句
1 7 1 分組語句
1 7 2 與分組語句關聯的轉換
1 8 信號量語句
1 8 1 信號量需求
1 8 2 信號量語句
1 8 3 互斥信號量的應用
1 8 4 信號量的其他應用
1 9 區域語句
1 9 1 比較信號量和區城語句
1 9 2 選擇語句中的同步
1 10 模型3：消息傳遞文本
1 10 1 通信語句
1 10 2 緩衝能力
1 10 3 例子
1 10 4 條件通信語句
1 10 5 同步模型和非同步模型的比較
1 10 6 公平伺服器
1 11 模型4：Petri網
1 11 1 網
1 11 2 標記
1 11 3 圖形化表示
1 11 4 點火
1 11 5 Petri系統
1 11 6 例子
問題
文獻註釋
第2章真併發模型
2 1 交錯和併發
2 1 1 重疊執行
2 1 2 交錯計算
2 1 3 細粒度
2 2 限制臨界引用

第Ⅱ部分規約
參考文獻

詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於PChome商店街私訊告知ISBN或書號，我們即儘速上架。