検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
件名：LCSH:Formalmethods(Computerscience)
選択行を：
 資料名所蔵館責任表示出版者出版年所在
1書影Dynamic logic : electronic bk ( Foundations of computing )その他David Harel, Dexter Kozen, Jerzy TiurynMIT Press2000オンライン
2書影Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings : hardback 太秦南館Yamine Ait-Ameur, Shin Nakajima, Dominique Méry, editorsSpringer2021太秦南館:５階閲覧室 007.04||I48
3書影Principles of cyber-physical systems : electronic bk その他Rajeev AlurMIT Press2015オンライン
選択行を：
▲ページトップへ