Blank Cover Image
タイトル、所在を表示します

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

フォーマット:
図書
責任表示:
中島玲二著
言語:
日本語
出版情報:
東京 : 朝倉書店, 1982.3
形態:
ix, 170p ; 21cm
著者名:
中島, 玲二(1947-) <DA00666141>  
シリーズ名:
数理科学ライブラリー ; 3 <BN00080300>
書誌ID:
BN0060996X
ISBN:
9784254114133 [4254114133]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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

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

近代科学社
7 図書 プログラム言語

米田, 信夫(1930-), 西村, 恕彦(1935-)

岩波書店
2 図書 プログラミング言語の基礎理論

大堀, 淳(1957-)

共立出版
8 図書 プログラム検証論

林, 晋(1953-)

共立出版
3 図書 プログラミング言語理論入門 : ALGOLを基礎として

小林, 孝次郎(1939-), 前島, 亨

総合図書
9 図書 プログラム意味論

横内, 寛文

共立出版
4 図書 型システム入門 : プログラミング言語と型の理論

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

オーム社
10 図書 PASCALプログラミング

米田, 信夫(1930-), 疋田, 輝雄(1947-)

サイエンス社
5 図書 C : 言語とプログラミング

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

産業図書
11 図書 プログラムの読み方

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

岩波書店
6 図書 プログラムの設計

山崎, 利治

共立出版
12 図書 数理情報科学事典

大矢, 雅則(1947-), 伊藤, 一郎, 北川, 敏男(1909-1993), 相沢, 洋二(1944-)

朝倉書店