資料詳細

  • 1 件中、 1 件目

【図書】 新しいプログラミング・パラダイム

井田哲雄 ／編   -- 共立出版 -- １９８９．１１ -- ２２ｃｍ -- ２２７ｐ

資料詳細

タイトル 新しいプログラミング・パラダイム
著者名等 井田哲雄 ／編  
出版 共立出版 １９８９．１１
大きさ等 ２２ｃｍ ２２７ｐ
分類 007.64
件名 プログラミング（電子計算機）
注記 執筆：相場亮ほか
内容 各章末：参考文献
要旨 従来のプログラミングの考え方を超えた、関数、論理、対象指向に代表される概念に基づく新しいプログラミングの考え方を基礎から、しかも実際のプログラミングに即してわかりやすく解説。また、これからのソフトウェア科学の動向をうかがう上でも重要な資料を提供。
目次 新しいプログラミング・パラダイムをめぐって；ラムダ計算と高階プログラミング；マルセイユＰｒｏｌｏｇ、Ｐｒｏｌｇ　２，Ｐｒｏｌｏｇ　３；制約論理型プログラミング；オブジェクト指向；型推論とＭＬ；Ｍｉｒａｎｄａ；項書換えシステムと完備化手続き；等式プログラミングから融合型プログラミングへ
ISBN(13)、ISBN 　　 4-320-02493-1
書誌番号 1190344052

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 007.6/3414 一般書 利用可 - 0003684636 iLisvirtual

ページの先頭へ