書店で探す
書店で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- タイトルよみ
- ヘイコウガタ プログラム ノ トウゴウテキ カイハツ シエン カンキョウ ノ コウチク
- 著者・編者
- 牛島和夫, 九州大学
- 著者標目
- 牛島, 和夫 ウシジマ, カズオ
- 出版年月日等
- 1995-1996
- 出版年（W3CDTF）
- 19951996
- 数量
- 冊
- その他のタイトル
- 研究種目 試験研究(B)
- 件名標目
- 統一的プログラム抽象表現 トウイツテキプログラムチユウシヨウヒヨウゲン非決定的定義使用ネツト ヒケツテイテキテイギシヨウネツトプログラム従属性理論 プログラムジユウゾクセイリロン並行型プログラム開発支援環境 ヘイコウガタプログラムカイハツシエンカンキヨウスライシング スライシングテスケース自動生成 テスケースジドウセイセイテスト十分性 テストジユウブンセイ順序列テスト基準 ジユンジヨレツテストキジユン