>> Amazon.co.jp
このページのQRコード

ホーアCSPモデルの理論

種類:
図書
責任表示:
C. A. R. Hoare [著] ; 吉田信博訳
出版情報:
東京 : 丸善, 1992.2
著者名:
ISBN:
9784621036839 [4621036831]  CiNii Books  Calil
注記:
参考文献: p[237]-238
索引: p[241]-246
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 ホーアCSPモデルの理論

C.A.R.HOARE;吉田信博訳

丸善
7 図書 大学の学生指導 : 成長モデルの理論と実践

Newton, Fred B., Ender, Kenneth L., 鹿子島, 晋吾(1927-), 岡, 国臣(1920-), 中川, 米造(1926-)

玉川大学出版部
2 図書 非集計行動モデルの理論と実際

土木学会, 土木学会土木計画学研究委員会

土木学会, 丸善 (発売)
8 図書 VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings

VDM-Europe Symposium, Bjørner, D. (Dines), 1937-, Hoare, C. A. R. (Charles Antony Richard), 1934ー, Langmaack, Hans

Springer-Verlag
3 図書 計算モデルの基礎理論

井田, 哲雄(1947-)

岩波書店
9 図書 社会科学の理論とモデル

小林, 良彰(1954-)

東京大学出版会
4 図書 マクロモデルの基礎

吉田, 真理子

三菱経済研究所
10 図書 看護理論とモデル

Wesley, Ruby L., 小田, 正枝 (1939-)

HBJ出版局
5 図書 都市の空間経済立地論 : 立地モデルの理論と応用

神頭, 広好(1954-)

古今書院
11 図書 計量経済学の理論と応用 : 多重共線性とモデルの計測

井上, 勝雄(1943-)

有斐閣
6 図書 都市と地域の立地論 : 立地モデルの理論と応用

神頭, 広好(1954-)

古今書院
12 図書 看護モデルの理解 : 分析と評価

Fawcett, Jacqueline, 小島, 操子, 小松, 浩子

医学書院