並行システムのモデリングと検証

ナレッジベーストビュー (石川県)
(VINEメンバー)    さんの"リストマニア"リスト
 
Communication and Concurrency (Prentice Hall International Series in Computer Science)
1.  Communication and Concurrency (Prentice Hall International Series in Computer Science)  Robin Milner
リスト作成者のコメント:
  "Robin Milnerによる古典的名著.読みやすい."
新品&中古品: ¥ 11,500

他の商品を見る
ペトリネットの解析と応用 (アルゴリズムシリーズ)
2.  ペトリネットの解析と応用 (アルゴリズムシリーズ)  村田 忠夫
リスト作成者のコメント:
  "世界的権威によるコンパクトな教科書"
¥ 3,045   新品&中古品: ¥ 1,000
5つ星のうち 5.0  レビューをすべて見る (1 カスタマーレビュー)

ペトリネットの理論と実践 (システム制御情報ライブラリー)
3.  ペトリネットの理論と実践 (システム制御情報ライブラリー)  青山 幹雄
新品&中古品: ¥ 6,186

他の商品を見る
ペトリネット入門―情報システムのモデル化
4.  ペトリネット入門―情報システムのモデル化  J.L.ピータースン
新品&中古品: ¥ 3,420

他の商品を見る
Model Checking
5.  Model Checking  Edmund M. Clarke Jr.
¥ 5,638   新品&中古品: ¥ 3,326

ペトリネットとその応用
6.  ペトリネットとその応用  計測自動制御学会離散事象システム研究専門委員会
¥ 3,255   新品&中古品: ¥ 2,770

Systems and Software Verification: Model-Checking Techniques and Tools
7.  Systems and Software Verification: Model-Checking Techniques and Tools  Beatrice Berard
¥ 6,418   新品&中古品: ¥ 5,948

Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation (Systems on Silicon)
8.  Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation (Systems on Silicon)  Axel Jantsch
¥ 6,157   新品&中古品: ¥ 2,950

Principles of Concurrent Programming (Prentice Hall Series in Computer Science)
9.  Principles of Concurrent Programming (Prentice Hall Series in Computer Science)  M. Ben-Ari
リスト作成者のコメント:
  "並行プログラミングの原理.古典です."
新品&中古品: ¥ 847

他の商品を見る
Concurrent Programming in Java™: Design Principles and Pattern (Java Series)
10.  Concurrent Programming in Java™: Design Principles and Pattern (Java Series)  Doug Lea
リスト作成者のコメント:
  "第2版が出版されたようです."
¥ 6,294   新品&中古品: ¥ 1,723
5つ星のうち 4.0  レビューをすべて見る (2件のカスタマーレビュー)

Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
11.  Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications  Claude Girault
¥ 9,873   新品&中古品: ¥ 6,534

Computer Aided Verification: 17th International Conference, Cav 2005, Edinburgh, Scotland, Uk, July 6-10, 2005, Proceedings (Lecture Notes in Computer Science)
12.  Computer Aided Verification: 17th International Conference, Cav 2005, Edinburgh, Scotland, Uk, July 6-10, 2005, Proceedings (Lecture Notes in Computer Science)  Kousha Etessami
リスト作成者のコメント:
  "2005年CAV (Computer Aided Verification)の会議録"
¥ 4,242

Model Checking Software (Lecture Notes in Computer Science)
13.  Model Checking Software (Lecture Notes in Computer Science)  Antti Valmari
リスト作成者のコメント:
  "2006年並行システム検証ツールSPINのワークショップ"
新品&中古品: ¥ 2,438

他の商品を見る
Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science)
14.  Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science)  E. Allen Emerson
リスト作成者のコメント:
  "2006年Vmcai の会議録"
¥ 8,413   新品&中古品: ¥ 6,931

CIP Model-checking (Technische Informatik)
15.  CIP Model-checking (Technische Informatik)  Andreas Moglestue
¥ 2,666

分散システム―原理とパラダイム
16.  分散システム―原理とパラダイム  アンドリュー・S. タネンバウム
新品&中古品: ¥ 8,500
5つ星のうち 4.5  レビューをすべて見る (2件のカスタマーレビュー)

他の商品を見る
コンピュ-タプロトコルの設計法―正しいプロトコルの設計と検証へ導く総合解説書 (コンピュ-タ通信シリ-ズ)
17.  コンピュ-タプロトコルの設計法―正しいプロトコルの設計と検証へ導く総合解説書 (コンピュ-タ通信シリ-ズ)  ジェラ-ド・J.ホルツマン
新品&中古品: ¥ 15,262

他の商品を見る
Practical Statecharts in C/C++: Quantum Programming for Embedded Systems
18.  Practical Statecharts in C/C++: Quantum Programming for Embedded Systems  Miro Samek
新品&中古品: ¥ 1,775
5つ星のうち 5.0  レビューをすべて見る (2件のカスタマーレビュー)

他の商品を見る
Concurrency: State Models & Java Programs (Worldwide Series in Computer Science)
19.  Concurrency: State Models & Java Programs (Worldwide Series in Computer Science)  Jeff Magee
新品&中古品: ¥ 565
5つ星のうち 5.0  レビューをすべて見る (2件のカスタマーレビュー)

他の商品を見る
Communicating and Mobile Systems: The Pi Calculus
20.  Communicating and Mobile Systems: The Pi Calculus  Robin Milner
¥ 4,364   新品&中古品: ¥ 3,365

Software Reliability Methods (Texts in Computer Science)
21.  Software Reliability Methods (Texts in Computer Science)  Doron Peled
リスト作成者のコメント:
  "並行システムの定式化と検証に関するベル研のPeledの本です."
¥ 13,665   新品&中古品: ¥ 3,182

その他のサービス

この作成者の他の情報を探す
 リストをすべて見る
マイリストを作る
 リストを作成
自分のプロフィールページを表示する
 プロフィールページ

情報: このリストマニア

 

作成者

ナレッジベーストビュー (石川県)
(VINEメンバー)   
簡単な自己紹介: 並行システムに興味を持つソフトウェア技術者
最終更新日: 06/05/02
違反を報告
    

その他の リストマニア

 

我が家の本棚 我が家の本棚

我が家の本棚: リストでは8個の商品を紹介。リスト作成者: "t_uchizono"

アルゴリズムとデータ構造 アルゴリズムとデータ構造

アルゴリズムとデータ構造: リストでは4個の商品を紹介。リスト作成者: think

モデル検査とモデル駆動設計(MDA:model driven architecture) モデル検査とモデル駆動設計(MDA:model driven architecture)

モデル検査とモデル駆動設計(MDA:model driven architecture): リストでは25個の商品を紹介。リスト作成者: kaizen

購入予定書籍 購入予定書籍

購入予定書籍: リストでは20個の商品を紹介。リスト作成者: Coco

自分のC言語学習の軌跡
自分のC言語学習の軌跡: リストでは7個の商品を紹介。リスト作成者: pococo21 "pococo21"