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

ナレッジベーストビュー (石川県)
(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.  コンピュ-タプロトコルの設計法―正しいプロトコルの設計と検証へ導く総合解説書 (コンピュ-タ通信シリ-ズ)  ジェラ-ド・Ｊ．ホルツマン
新品＆中古品： ￥ 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"