Search by Bookstore
Search by Bookstore
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- Title Transcription
- ヘイコウ ・ ブンサン ケイサン ノ センシンテキ リロン ニ モトヅク ブンサン プログラミング ゲンゴ ショリケイ ノ コウチク
- Author/Editor
- 小林, 直樹, 東京大学
- Author Heading
- 小林, 直樹 コバヤシ, ナオキ
- Publication Date
- 1998-2000
- Publication Date (W3CDTF)
- 1998
- Extent
- 冊
- Additional Title
- 研究種目 基盤研究(B)
- Subject Heading
- 線形論理 センケイロンリ型システム カタシステムデツドロツク デツドロツク分散プログラミング言語 ブンサンプログラミングゲンゴ並行プログラミング言語 ヘイコウプログラミングゲンゴオブジエクト指向 オブジエクトシコウ部分評価 ブブンヒヨウカ