2022年度 学院等開講科目 情報理工学院 数理・計算科学系 数理・計算科学コース
ソフトウェア検証論
- 開講元
- 数理・計算科学コース
- 担当教員
- 南出 靖彦
- 授業形態
- 講義 (ライブ型)
- メディア利用科目
- -
- 曜日・時限
(講義室) - 火5-6 / 金5-6
- クラス
- -
- 科目コード
- MCS.T509
- 単位数
- 200
- 開講時期
- 2022年度
- 開講クォーター
- 1Q
- シラバス更新日
- -
- 使用言語
- 日本語
2022年度 学院等開講科目 情報理工学院 数理・計算科学系 数理・計算科学コース