巻号詳細

  • 1 件中、 1 件目

コンピュータソフトウェア 19910100 関数型プログラミングと計算の基礎 貸出可

日本ソフトウェア科学会 -- 岩波書店 --

タグ

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
書庫逐刊 007.6 /ｺﾝ/ 00200237114 雑誌 貸出可 利用可 iLisvirtual

ページの先頭へ

資料詳細

雑誌名 コンピュータソフトウェア
巻号年月日 19910100
巻数 8(1)
副タイトル 関数型プログラミングと計算の基礎
副タイトルヨミ ｶﾝｽｳｶﾞﾀﾌﾟﾛｸﾞﾗﾐｸｸﾞﾄ ｹﾝｻﾝﾉｷｿ
刊行頻度 隔月刊
大きさ ２６㎝
雑誌記事 ソフトフェアの科学．　並行動作システムのＭｉｒａｎｄａによる仕様記述．　型理論Ｉ．　カテゴリー理論とプログラミング．　高階ユニフィケーションアルゴリズムの複雑さについて．　ＥＳＰ言語上のウィンドウ制御プログラム開発支援システムＷＩＮＣＳ．　オーストラリアのＲＩＳＣ

ページの先頭へ

※内容紹介、著者紹介は（株）日販図書館サービスおよび
（株）トーハンのデータです。