Correctness of Co-Operating Sequential Programs (アルゴリズムにおける証明論)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 斉藤 信男

  電子技術総合研究所

関連論文

• Mathematical Theories on Operating System (アルゴリズムにおける証明論)
• Correctness of Co-Operating Sequential Programs (アルゴリズムにおける証明論)

スポンサーリンク