ログイン
ヘルプ
×終了
日本語
|
English
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Formalmethods(Computerscience)
図書(3 件)
選択行を:
10件
20件
50件
資料名
所蔵館
責任表示
出版者
出版年
所在
1
Dynamic logic : electronic bk ( Foundations of computing )
その他
David Harel, Dexter Kozen, Jerzy Tiuryn
MIT Press
2000
オンライン
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, editors
Springer
2021
太秦南館:5階閲覧室
007.04||I48
3
Principles of cyber-physical systems : electronic bk
その他
Rajeev Alur
MIT Press
2015
オンライン
選択行を:
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。