図書

代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究

図書を表すアイコン

代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究

国立国会図書館請求記号
Y151-S62550261
国立国会図書館書誌ID
000007031474
資料種別
図書
著者
稲垣, 康善, 名古屋大学
出版者
-
出版年
1987-
資料形態
ページ数・大きさ等
-
NDC
-
すべて見る

資料に関する注記

一般注記:

文部省科学研究費補助金研究成果報告書

書店で探す

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
タイトルよみ
ダイスウテキ シュホウ ニ モトヅク ヘイレツ ケイサン システム ノ シヨウ キジュツ ・ ケンショウ ノ キソテキ ケンキュウ
著者・編者
稲垣, 康善, 名古屋大学
著者標目
著者 : 稲垣, 康善, 1939- イナガキ, ヤスヨシ, 1939- ( 00019154 )典拠
出版年月日等
1987-
出版年(W3CDTF)
1987
数量
件名標目
並列計算 ヘイレツケイサン
並行プログラム ヘイコウプログラム
形式的仕様記述 ケイシキテキシヨウキジユツ
CCS CCS
モニタ モニタ
項書き換え系の意味論 コウカキカエケイノイミロン
抽象データ型 チユウシヨウデータガタ
NDLC