図書

非停止プロセスの抽象化と代数的仕様記述に関する基礎的研究

図書を表すアイコン

非停止プロセスの抽象化と代数的仕様記述に関する基礎的研究

国立国会図書館請求記号
Y151-S63580025
国立国会図書館書誌ID
000007036169
資料種別
図書
著者
坂部, 俊樹, 名古屋大学
出版者
-
出版年
1988-1989
資料形態
ページ数・大きさ等
-
NDC
-
すべて見る

資料に関する注記

一般注記:

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

書店で探す

書誌情報

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

資料種別
図書
タイトルよみ
ヒテイシ プロセス ノ チュウショウカ ト ダイスウテキ シヨウ キジュツ ニ カンスル キソテキ ケンキュウ
著者・編者
坂部, 俊樹, 名古屋大学
著者標目
坂部, 俊樹 サカベ, トシキ
出版年月日等
1988-1989
出版年(W3CDTF)
1988
数量
その他のタイトル
研究種目 一般研究(C)
件名標目
非停止プロセス ヒテイシプロセス
等式論理 トウシキロンリ
代数的仕様記述 ダイスウテキシヨウキジユツ
並行プロセス ヘイコウプロセス
CCS CCS
木パターンマツチング モクパターンマツチング