図書
書影

論理とプログラム意味論 (コンピュータサイエンス入門)

図書を表すアイコン
表紙は所蔵館によって異なることがあります ヘルプページへのリンク

論理とプログラム意味論

(コンピュータサイエンス入門)

国立国会図書館請求記号
M159-G2859
国立国会図書館書誌ID
000002829598
資料種別
図書
著者
田辺誠, 中島玲二, 長谷川真人 著
出版者
岩波書店
出版年
1999.9
資料形態
ページ数・大きさ等
191p ; 21cm
NDC
007.64
すべて見る

書店で探す

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

北日本

関東

  • 農林水産関係試験研究機関総合目録

    検索サービス
    連携先のサイトで、農林水産関係試験研究機関総合目録が連携している機関・データベースの所蔵状況を確認できます。
  • CiNii Research

    検索サービス
    連携先のサイトで、CiNii Researchが連携している機関・データベースの所蔵状況を確認できます。

書店で探す

出版書誌データベース Books から購入できる書店を探す

『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
ISBN
4-00-006190-9
タイトルよみ
ロンリ ト プログラム イミロン
著者・編者
田辺誠, 中島玲二, 長谷川真人 著
著者標目
田辺, 誠, 1970- タナベ, マコト, 1970- ( 00759765 )典拠
中島, 玲二, 1947- ナカジマ, レイジ, 1947- ( 00125914 )典拠
長谷川, 真人, 1970- ハセガワ, マサヒト, 1970- ( 00759766 )典拠
出版年月日等
1999.9
出版年(W3CDTF)
1999