システム検証基礎演習 System Verification Practices

文字サイズ小中大

担当教員: 中島震西崎真也

使用教室: 木5-6(H116)

単位数: 講義：0 演習：2 実験：0

講義コード: 76037

シラバス更新日: 2012年9月21日

講義資料更新日: 2012年9月21日

学期: 後期

概要

講義概要

システム検証における基礎である，数理論理学，プログラム理論，並行システム論などに関する基礎技術に関する演習を行う。