>> Amazon.co.jp

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

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

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 構造的PASCALプログラミング : プログラム設計と証明の組織的方法

Alagić, Suad, 1946-, 中島, 玲二(1947-), Arbib, Michael A., 1940-

日本コンピュータ協会
7 図書 数理情報科学事典

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

朝倉書店
2 図書 The IOTA programming system : a modular programming environment

中島, 玲二(1947-), 湯浅, 太一(1952-)

Springer-Verlag
8 図書 プログラミング言語の基礎理論

大堀, 淳(1957-)

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

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

オーム社
9 図書 プログラミング言語の基礎理論

大堀, 淳(1957-)

共立出版
4 図書 パソコンとプログラム言語 : BASICはどこまで便利か

Marshall, G. J. (Garry J.), 宿橋, 新一

啓学出版
10 図書 プログラム理論

伊藤, 貴康(1940-)

コロナ社
5 図書 プログラム言語の処理系

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

近代科学社
11 図書 プログラミング言語理論入門 : ALGOLを基礎として

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

総合図書
6 図書 数理情報科学事典

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

朝倉書店
12 図書 プログラム言語

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

岩波書店