仕様記述言語「Z」
著者
書誌事項
仕様記述言語「Z」
（I/O books）
工学社, 2010.11
- タイトル別名
-
仕様記述言語「Z」 : 「仕様」の数学的構造化に「自然言語」を使う!
- タイトル読み
-
シヨウ キジュツ ゲンゴ Z
大学図書館所蔵 件 / 全9件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p168-169
内容説明・目次
内容説明
「Ｚ」（ゼッド）は、「Ｚ言語」または「Ｚ記法」とも言い、論理学に基づく「仕様記述言語」で、ソフトウェアなど複雑なシステムの、厳密な記述ができます。ただし、実際に「Ｚ」を理解するには、かなり高度な数学的知識が必要です。そこで、本書は、「Ｚ」を、必要な数学の基礎から解説するので、「Ｚ言語」そのものはもちろん、「形式手法」一般への理解も深まるでしょう。
目次
- 第１章 序論
- 第２章 前提知識
- 第３章 Ｚ言語
- 第４章 証明とセマンティクス
- 第５章 Ｚの応用
- 第６章 結論
「BOOKデータベース」 より