ホーアCSPモデルの理論

kaizen (愛知県)
（殿堂入りNo1レビュアー）    さんの"リストマニア"リスト
 
ホーアCSPモデルの理論
1.  ホーアCSPモデルの理論  C.A.R. ホーア
新品＆中古品： ￥ 6,100
5つ星のうち 5.0  レビューをすべて見る (1 カスタマーレビュー)
他の商品を見る
この商品に関するリストを作成
Communicating Sequential Processes (Prentice-Hall International Series in Computer Science)
2.  Communicating Sequential Processes (Prentice-Hall International Series in Computer Science)  C. A. R. Hoare
新品＆中古品： ￥ 2,794
5つ星のうち 5.0  レビューをすべて見る (2件のカスタマーレビュー)
他の商品を見る
この商品に関するリストを作成
Structured System Programming (Prentice Hall International Series in Computing Science)
3.  Structured System Programming (Prentice Hall International Series in Computing Science)  James Welsh
新品＆中古品： ￥ 1,206
他の商品を見る
この商品に関するリストを作成
Coordinated Computing: Tools and Techniques for Distributed Software (Mcgraw-Hill Computer Science Series)
4.  Coordinated Computing: Tools and Techniques for Distributed Software (Mcgraw-Hill Computer Science Series)  Robert E. Filman
新品＆中古品： ￥ 2,886
他の商品を見る
この商品に関するリストを作成
Occam 2 Reference Manual: Inmos Limited (Prentice-Hall International Series in Computer Science)
5.  Occam 2 Reference Manual: Inmos Limited (Prentice-Hall International Series in Computer Science)  C. A. R. Hoare
新品＆中古品： ￥ 1,473
5つ星のうち 5.0  レビューをすべて見る (1 カスタマーレビュー)
他の商品を見る
この商品に関するリストを作成
Occam Programming Manual
6.  Occam Programming Manual  INMOS Limited
新品＆中古品： ￥ 2,990
5つ星のうち 5.0  レビューをすべて見る (1 カスタマーレビュー)
他の商品を見る
この商品に関するリストを作成
Communicating Sequential Processes. the First 25 Years: Symposium on the Occasion of 25 Years of Csp, London, Uk, July 7-8, 2004. Revised Invited Papers (Lecture Notes in Computer Science)
7.  Communicating Sequential Processes. the First 25 Years: Symposium on the Occasion of 25 Years of Csp, London, Uk, July 7-8, 2004. Revised Invited Papers (Lecture Notes in Computer Science)  Ali E. Abdallah
￥ 5,941   新品＆中古品： ￥ 5,940
この商品に関するリストを作成
A Calculus of Communication Systems (Lecture Notes in Computer Science)
8.  A Calculus of Communication Systems (Lecture Notes in Computer Science)  R. Milner
￥ 3,367   新品＆中古品： ￥ 3,257
この商品に関するリストを作成
Two Papers on Communicating Sequential Processes
9.  Two Papers on Communicating Sequential Processes  A.W. Roscoe
詳しい情報を見る
この商品に関するリストを作成
Sliding Window Protocol in Communicating Sequential Processes
10.  Sliding Window Protocol in Communicating Sequential Processes  K. Paliwoda
詳しい情報を見る
この商品に関するリストを作成
Jackson System Development Expressed in Communicating Sequential Processes
11.  Jackson System Development Expressed in Communicating Sequential Processes  K.T. Sridhar
￥ 525
この商品に関するリストを作成
Introduction to Communicating Sequential Processes
12.  Introduction to Communicating Sequential Processes  J.W. Sanders
在庫切れ
この商品に関するリストを作成
Communicating Sequential Processes (Prentice Hall International Series in Computing Science)
13.  Communicating Sequential Processes (Prentice Hall International Series in Computing Science)  C.A.R. Hoare
新品＆中古品： ￥ 5,493
5つ星のうち 5.0  レビューをすべて見る (2件のカスタマーレビュー)
他の商品を見る
この商品に関するリストを作成
プログラム言語Ada基準文法書(英文)
14.  プログラム言語Ada基準文法書(英文)  bit編集部
新品＆中古品： ￥ 18,000
5つ星のうち 4.5  レビューをすべて見る (2件のカスタマーレビュー)
他の商品を見る
この商品に関するリストを作成
Weakest Prespecification
15.  Weakest Prespecification  C.A.R. Hoare
詳しい情報を見る
この商品に関するリストを作成
Specifications, Programmes and Implementations
16.  Specifications, Programmes and Implementations  C.A.R. Hoare
詳しい情報を見る
この商品に関するリストを作成
Essays in Computing Science (Prentice-Hall International Series in Computer Science)
17.  Essays in Computing Science (Prentice-Hall International Series in Computer Science)  C. A. R. Hoare
新品＆中古品： ￥ 8,093
他の商品を見る
この商品に関するリストを作成
Mathematical Logic and Programming Languages (Prentice-Hall International Series in Computer Science)
18.  Mathematical Logic and Programming Languages (Prentice-Hall International Series in Computer Science)  C. A. R. Hoare
新品＆中古品： ￥ 1,296
他の商品を見る
この商品に関するリストを作成
Vdm '90: Vdm and Z-Formal Methods in Software Development (Lecture Notes in Computer Science)
19.  Vdm '90: Vdm and Z-Formal Methods in Software Development (Lecture Notes in Computer Science)  D. Bjorner
新品＆中古品： ￥ 6,695
他の商品を見る
この商品に関するリストを作成
Scientific Applications of Multiprocessors (Prentice Hall International Series in Computing Science)
20.  Scientific Applications of Multiprocessors (Prentice Hall International Series in Computing Science)  R. Elliott
新品＆中古品： ￥ 3,634
他の商品を見る
この商品に関するリストを作成
Vdm '90. Vdm and Z - Formal Methods in Software Development: Third International Symposium of Vdm Europe, Kiel, Frg, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science)
21.  Vdm '90. Vdm and Z - Formal Methods in Software Development: Third International Symposium of Vdm Europe, Kiel, Frg, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science)  Dines Bjorner
￥ 8,408   新品＆中古品： ￥ 2,930
この商品に関するリストを作成
Developments in Concurrency and Communication (The Year of Programming series)
22.  Developments in Concurrency and Communication (The Year of Programming series)  C. A. R. Hoare
新品＆中古品： ￥ 1,161
他の商品を見る
この商品に関するリストを作成
Operating Systems Techniques: Proceedings (A.P.I.C. Studies in Data Processing, No. 9.)
23.  Operating Systems Techniques: Proceedings (A.P.I.C. Studies in Data Processing, No. 9.)  International Seminar on Operating Systems Techniques (1971 : Queen's University of Belfast)
新品＆中古品： ￥ 2,572
他の商品を見る
この商品に関するリストを作成

その他のサービス

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

情報: このリストマニア

 

作成者
kaizen (愛知県)
（殿堂入りNo1レビュアー）   
最終更新日： 09/01/29
違反を報告
    

その他の リストマニア

 

ゼミ本 ゼミ本

ゼミ本: リストでは9個の商品を紹介。リスト作成者: ibmer