学位論文要旨詳細

学位論文要旨


No		104680
著者（漢字）		米澤,明憲
著者（英字）
著者（カナ）		ヨネザワ,アキノリ
標題（和）		メッセージ・パッスイング・セマンティックスにもとづく並列プログラムに対する仕様・検証技関についての研究
標題（洋）		SPECIFICATION AND VERIFICATION TECHNIQUES FOR PARALLEL PROGRAMS BASED ON MESSAGE PASSING SEMANTICS
報告番号		104680
報告番号		甲04680
学位授与日		1978.11.16
学位種別		課程博士
学位種類		工学博士
学位記番号		博工第1195号
研究科		工学系研究科
専攻		計数工学専攻
論文審査委員		─：
内容要旨		データはありません
審査要旨		データはありません
UTokyo Repositoryリンク