形式手法教科書 : 「論理学」を用いた、「ソフト工学」への数学的アプローチ
著者
書誌事項
形式手法教科書 : 「論理学」を用いた、「ソフト工学」への数学的アプローチ
(I/O books)
工学社, 2012.11
- タイトル別名
-
形式手法 : 教科書 : 論理学を用いたソフト工学への数学的アプローチ
- タイトル読み
-
ケイシキ シュホウ キョウカショ : ロンリガク オ モチイタ ソフト コウガク エノ スウガクテキ アプローチ
大学図書館所蔵 件 / 全28件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p217-219
内容説明・目次
内容説明
「形式手法」の基礎をできるだけ分かりやすく解説するため、まず理論的基礎である「古典論理」と「様相論理」を説明してから、「形式手法」に使われているさまざまな「非古典論理」と「仕様記述言語」を紹介。「ソフト開発者」に必須の知識を、一般的な「プログラマー」にもわかりやすく解説。
目次
- 第1章 序論
- 第2章 古典論理
- 第3章 非古典論理
- 第4章 「時相論理」と「ダイナミック・ロジック」
- 第5章 仕様記述言語「Z」
- 第6章 形式手法の課題
「BOOKデータベース」 より