Logics for Concurrency: Structure Versus Automata - Lecture Notes in Computer Science - Faron Moller - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540609155 - 1996年3月6日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Faron Moller
Logics for Concurrency: Structure Versus Automata - Lecture Notes in Computer Science

価格
¥ 8.849
税抜

遠隔倉庫からの取り寄せ

発送予定日 年7月20日 - 年7月30日

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

In this work on the problem of verifying distributed systems, three chapters concentrate on linear-time or branching-time temporal logics, one addresses process equivalence with an emphasis on infinite-state systems, and the remaining chapter presents a category-theoretic approach to verification.

268 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1996年3月6日
ISBN13 9783540609155
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 268
寸法 155 × 233 × 15 mm   ·   399 g
言語 ドイツ語  
編集者 Birtwistle, Graham M.
編集者 Moller, Faron

Faron Mollerの他の作品を見る

すべて表示

Mere med samme udgiver

Faron Mollerのすべてを見る ( 例： Paperback Book )