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

数理情報学入門 : スコット・プログラム理論

種類:
図書
責任表示:
中島玲二著
出版情報:
東京 : 朝倉書店, 1982.3
著者名:
中島, 玲二(1947-) <DA00666141>  
シリーズ名:
数理科学ライブラリー ; 3 <BN00080300>
ISBN:
9784254114133 [4254114133]  CiNii Books  Calil
注記:
参考文献: p[159]-161
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 プログラム言語の処理系

武市, 正人(1948-), Berry, R. E. (Robert Edward), 1942-

近代科学社
7 図書 C : 言語とプログラミング

米田, 信夫(1930-), 斎藤, 信男(1940-), 武市, 正人(1948-), 石畑, 清(1952-)

産業図書
2 図書 型システム入門 : プログラミング言語と型の理論

Pierce, Benjamin C., 住井, 英二郎, 遠藤, 侑介, 酒井, 政裕, 今井, 敬吾, 黒木, 裕介(1982-), 今井, 宜洋, 才川, 隆文, 今井, 健男

オーム社
8 図書 プログラムの読み方

森口, 繁一(1916-), 小林, 光夫(1941-), 武市, 正人(1948-)

岩波書店
3 図書 プログラム言語

米田, 信夫(1930-)

岩波書店
9 図書 プログラム理論

伊藤, 貴康(1940-)

コロナ社
4 図書 プログラム言語

山崎, 利治

昭晃堂
10 図書 LISP入門 : システムとプログラミング

中西, 正和(1943-)

近代科学社
5 図書 プログラム意味論

横内, 寛文

共立出版
11 図書 Lisp入門 : システムとプログラミング

中西, 正和(1943-)

近代科学社
6 図書 プログラム検証論

林, 晋(1953-)

共立出版
12 図書 FORTRAN77 : 基本文法とプログラミング

坂野, 匡弘

オーム社