国立国会図書館館内限定公開
収録元データベースで確認する
国立国会図書館デジタルコレクション
書店で探す
目次
第1章 並行プログラミングとGHC
第2章 様相論理とテンポラル・プログラミング
第3章 レコード・プログラミング
第4章 抽象データ型とOBJ2
第5章 プログラム代数とFP
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
北日本
秋田県立図書館
紙- 007.6/イア/2
- 120038955
関東
千葉県立西部図書館
紙- 0076/ 1318/ 2
- 1101126370
東京都立多摩図書館
紙- 5355-3298-2
- 1124162027
神奈川県立川崎図書館
紙- 007.64-5 2
- 80199102
横浜市立図書館
紙- 007.634142
- 0003434478
書店で探す
出版書誌データベース から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 図書
- ISBN
- 4-320-02535-0
- タイトル
- タイトルよみ
- アタラシイ プログラミング パラダイム
- 巻次・部編番号
- 続
- 著者・編者
- 井田哲雄, 田中二郎 編
- 著者標目
- 井田, 哲雄, 1947- イダ, テツオ, 1947- ( 00190628 )典拠田中, 二郎, 1951- タナカ, ジロウ, 1951- ( 00204922 )典拠
- 出版事項
- 出版年月日等
- 1990.11
- 出版年(W3CDTF)
- 1990