Blank Cover Image
QRコード(所蔵情報)

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

フォーマット:
図書
責任表示:
中島玲二著
言語:
日本語
出版情報:
東京 : 朝倉書店, 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 図書 論理とプログラム意味論

田辺, 誠(1970-), 中島, 玲二(1947-), 長谷川, 真人(1970-)

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

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

岩波書店
2 図書 構造的PASCALプログラミング : プログラム設計と証明の組織的方法

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

日本コンピュータ協会
8 図書 プログラム意味論

横内, 寛文

共立出版
3 図書 プログラミング言語の形式的意味論入門

Winskel, Glynn, 勝股, 審也, 中澤, 巧爾, 西村, 進 (1970-), 前田, 敦司 (1962-), 末永, 幸平

丸善出版
9 図書 プログラム検証論

林, 晋(1953-)

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

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

総合図書
10 図書 C : 言語とプログラミング

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

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

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

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

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

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

山崎, 利治

昭晃堂
12 図書 PASCALプログラミング

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

サイエンス社