Specification and verification techniques for parallel programs based on message passing semantics

• Material Type: 博士論文
• Title: Specification and verification techniques for parallel programs based on message passing semantics
• Author/Editor: 米澤明憲 [著]
• Author Heading: 米澤, 明憲 ヨネザワ, アキノリ
• Extent: 冊
• Alternative Title: メッセージ・パッスィング・セマンティックスにもとづく並列プログラムに対する仕様・検証技法についての研究 メッセージ パッスィング セマンティックス ニ モトズク ヘイレツ プログラム ニ タイスル シヨウ ケンショウ ギホウ ニ ツイテ ノ ケンキュウ
• Degree grantor/type: 東京大学
• Date Granted: 昭和53年11月16日
• Date Granted (W3CDTF): 1978
• Dissertation Number: 甲第4680号
• Degree Type: 工学博士
• Note (Dissertation): 博士論文
• Place of Publication (Country Code): JP
• NDLC: UT51
• Note (General): 博士論文
• Holding library: 国立国会図書館
• Call No.: UT51-54-Y32
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000007709944; http://id.ndl.go.jp/bib/000007709944
• Bibliographic Record Category (NDL): 213