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

ソフトウェア科学のための論理学

種類:
図書
責任表示:
萩谷昌己 [著]
出版情報:
東京 : 岩波書店, 1994.1
著者名:
シリーズ名:
岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 11 <BN02276369>
ISBN:
9784000103510 [4000103512]  CiNii Books  Calil
注記:
参考書: p213-216
巻末: 事項索引
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 岩波講座ソフトウェア科学

長尾, 真(1936-)

岩波書店
7 図書 ソフトウェアの話

黒川, 利明(1948-)

岩波書店
2 図書 ソフトウェア工学の基礎知識

白鳥, 則郎, 高橋, 薫, 神長, 裕明

昭晃堂
8 図書 情報科学のための論理数学

細井, 勉(1937-)

日本評論社
3 図書 論理と意味

長尾, 真(1936-), 淵, 一博(1936-)

岩波書店
9 図書 ソフトウェア・ビジネス

相田, 洋(1936-), 赤木, 昭夫(1932-)

日本放送出版協会
4 図書 ソフトウェア工学

松本, 吉弘(1932-)

丸善
10 図書 ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE

石尾, 隆, 天嵜, 聡介

近代科学社
5 図書 ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE

本位田, 真一(1953-), 大蒔, 和仁, 佐伯, 元司, 権藤, 克彦, 深澤, 良彰, 青山, 幹雄(1954-), 伊藤, &hellip;

近代科学社
11 図書 ソフトウェア研究の将来を見つめたEAGLプロジェクト : 産学の熱きコミュニケーション7年のあゆみ : EAGL総括報告書

EAGL事業推進機構

EAGL事業推進機構, 丸善株式会社京都河原町店出版サービスセンター[m]
6 図書 スーパーコンピュータ : 超高速計算のためのハードウェアとソフトウェアのすべて

Fernbach, Sidney, 1917-, 長島, 重夫

パーソナルメディア
12 図書 MS-DOS読本 : パーソナル・コンピュータをかえるシステム・ソフトウェア

菅木, 真治

アスキー