Modal Logic and Process Algebra Volume 53 (Hardcover 74)
レビューはまだありません
型番/商品コード: MDT7BDUWLT0
参考価格: 23,717円
18,974円 （税込・送料無料）
18,974円 （税込・送料無料）
商品仕様・詳細情報
【お取り寄せ・キャンセル不可の商品】：2週間~4週間でお届け（お急ぎの方はご遠慮ください。） ／ 【本の説明】327ページ 161*237mm 言語：English 国：アメリカ 635g ISBN：9781881526957 ／ 【本の内容】Labelled transition systems are mathematical models for dynamic behaviour or processes and thus form a research field of common interest to logicians and theoretical computer scientists. In computer science this notion is a fundamental one in the formal analysis of programming languages in particular in process theory. In modal logic transition systems are the central object of study under the name of Kripke models. This volume collects a number of research papers on modal logic and process theory. Its unifying theme is the notion of a bisimulation. Bisimulations are relations over transition systems and provide a key tool in identifying the processes represented by these structures.
この商品を見た人におすすめ
106,368円
134,240円
106,803円
106,240円
107,008円
132,880円
106,726円
107,443円
106,240円
106,560円
106,240円
107,091円
106,240円
106,880円
106,304円
107,008円
106,240円
106,490円
106,880円
107,283円