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