資料詳細

  • 1 件中、 1 件目

[ 和図書 ] コンピュータサイエンス入門 論理とプログラム意味論

田辺 誠／著 -- 岩波書店 -- 1999.9 --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 書庫 一般図書 /007.6/5019/1999 5000066290 Digital BookShelf
1999/10/08 可能 利用可   0
Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

ページの先頭へ

資料詳細 閉じる

ISBN 4-00-006190-9
タイトル コンピュータサイエンス入門
タイトルカナ コンピュータ サイエンス ニュウモン
タイトル関連情報 論理とプログラム意味論
タイトル関連情報読み ロンリ ト プログラム イミロン
著者名 田辺 誠 ／著, 中島 玲二 ／著, 長谷川 真人 ／著
著者名典拠番号

110003252190000 , 110000710270000 , 110003252200000

出版地 東京
出版者 岩波書店
出版者カナ イワナミ ショテン
出版年 1999.9
ページ数 191p
大きさ 21cm
価格 ¥2500
内容紹介 コンピュータの行う計算の本質を捉えたいくつかの原理について、その基本概念からある程度高度な内容に至るまでを解説する、コンピュータサイエンスの入門書。
一般件名 プログラミング用言語,記号論理学
一般件名カナ プログラミングヨウゲンゴ,キゴウロンリガク
一般件名 プログラミング(コンピュータ)
一般件名カナ プログラミング(コンピュータ)
一般件名典拠番号

510348100000000

分類：都立NDC10版 007.64
資料情報1 『コンピュータサイエンス入門 論理とプログラム意味論』　田辺 誠／著, 中島 玲二／著 , 長谷川 真人／著　岩波書店　1999.9（所蔵館：中央　 請求記号：/007.6/5019/1999　 資料コード：5000066290）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1105023367

ページの先頭へ