ストリーム並列実行モデルに基づく並行動作プログラムの形式的開発法

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: 1992-1993
Publication Date (W3CDTF): 1992
Extent: 冊
Additional Title: 研究種目一般研究(B)
Subject Heading: 並行動作システムヘイコウドウサシステム
ストリーム並列ストリームヘイレツ
形式的仕様ケイシキテキシヨウ
実行可能仕様ジツコウカノウシヨウ
仕様記述言語Z シヨウキジユツゲンゴZ
仕様スライスシヨウスライス
並列オペレーテイングシステムヘイレツオペレーテイングシステム
分散処理システムブンサンシヨリシステム
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 04452196
Holding library: 国立国会図書館
Call No.: Y151-H04452196
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006986157
http://id.ndl.go.jp/bib/000006986157
Bibliographic Record Category (NDL): 214