高階並行プロセス計算の基礎理論と実践

Notes on use

Search by Bookstore

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: 高階並行プロセス計算の基礎理論と実践
Title Transcription: コウカイヘイコウプロセスケイサンノキソリロントジッセン
Author/Editor: 富樫, 敦, 静岡大学
Author Heading: 富樫, 敦トガシ, アツシ
Publication Date: 1996-1997
Publication Date (W3CDTF): 1996
Extent: 冊
Additional Title: 研究種目基盤研究(C)
Subject Heading: 高階並行プロセス計算コウカイヘイコウプロセスケイサン
動作的意味論ドウサテキイミロン
計算モデルケイサンモデル
高階様相論理コウカイヨウソウロンリ
タイプシステムタイプシステム
高階並行プログラミング言語コウカイヘイコウプログラミングゲンゴ
等価性トウカセイ
言語処理系ゲンゴシヨリケイ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 08680343
Holding library: 国立国会図書館
Call No.: Y151-H08680343
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007017302
http://id.ndl.go.jp/bib/000007017302
Bibliographic Record Category (NDL): 214