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

文字サイズ小中大

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

使用教室: 火3-4(遠隔コラボ室W8E-1003L)

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

講義コード: 76037

シラバス更新日: 2013年9月20日

講義資料更新日: 2013年9月20日

学期: 後期

概要

講義概要

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