並列型プログラムの検証支援法に関する基礎的研究

• Material Type: 図書
• Title: 並列型プログラムの検証支援法に関する基礎的研究
• Title Transcription: ヘイレツガタ プログラム ノ ケンショウ シエンホウ ニ カンスル キソテキ ケンキュウ
• Author/Editor: 牛島, 和夫, 九州大学
• Author Heading: 牛島, 和夫 ウシジマ, カズオ
• Publication Date: 1989-1990
• Publication Date (W3CDTF): 1989
• Extent: 冊
• Additional Title: 研究種目 一般研究(B)
• Subject Heading: 並列型プログラム ヘイレツガタプログラム; 仕様記述 シヨウキジユツ; 検証 ケンシヨウ; テスト テスト; デバツグ デバツグ; デツドロツク デツドロツク; 分散協調処理 ブンサンキヨウチヨウシヨリ; 分散実行環境 ブンサンジツコウカンキヨウ
• NDLC: Y151
• Note (General): 文部省科学研究費補助金研究成果報告書
• Research Project No. of Grants-in-Aid for Scientific Research: 01460151
• Holding library: 国立国会図書館
• Call No.: Y151-H01460151
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000006974044; http://id.ndl.go.jp/bib/000006974044
• Bibliographic Record Category (NDL): 214