山名 月中 | 工業技術廳東京工業試驗所

スポンサーリンク

概要

• 山名 月中の詳細を見る
• 同名の論文著者
• 工業技術廳東京工業試驗所の論文著者

論文 | ランダム

• 相互通信逐次型プロセス系のデッドロックフリ-性の検証
• 相互通信逐次型プロセス系の検証(計算機科学の基礎理論とその応用)
• 相互通信逐次型プロセス系の部分的正当性検証体系
• 並行プログラム検証体系のためのダイナミック論理の拡張
• プラトン・リュシス篇の hopeless result (απορια) について(II)

もっと見る

スポンサーリンク