交互式程序验证器的日文

• かいわがたプログラムけんしょうそうち

• 程序验证    プログラムののけんしょうプログラムの検証
• 交互式任务    かいわがたタスク
• 交互式处理    かいわがたしょり
• 交互式模拟    かいわがたシミュレーション
• 交互式终端    かいわがたたんまつそうちインタラクティブターミナル
• 交互式绘图    かいわがたグラフィツクス
• 交互式编程    かいわがたプログラミング
• 交互式设计    たいわがたせっけいかいわがたせっけい
• 往复式程序    おうふくがたプログラム
• 格式程序    フォーマットプログラム
• 自调式程序    セルフデバッガ
• 交互式人－机接口    かいわがたにんげんきかいインタフェース
• 交互式处理机    かいわがたプロセッサ
• 交互式彩色图    インタラクティブカラーグラフィツク
• 交互式最优化    かいわがたさいてきか
• 开放式程序站    オープンショツプ
• 交互式决策分析    かいわがたけっていかいせき
• 交互式图像分析    かいわがたがぞうかいせき
• 交互式图像增强    かいわがたがぞうきょうちょう
• 交互式图形分析    かいわがたパターンかいせき
• 交互式图形辨识    かいわがたパターンにんしき
• 交互式多重系统    かいわがたたじゅうけいさんきシステム
• 交互式导引系统    かいわがたゆうどうシステム
• 交互式情报系统    かいわがたじょうほうシステム
• 交互式系统自诊断    かいわがたシステムじこしんだん
• 交互式生产计划系统    かいわがたせいさんけいかくシステム