資料詳細

【図書】 仕様記述言語「Ｚ」（ゼッド）

「仕様」の数学的構造化に「自然言語」を使う！ -- Ｉ　Ｏ　ｂｏｏｋｓ --
赤間世紀／著 -- 工学社 -- ２０１０．１１ -- ２１ｃｍ -- １７５ｐ

タイトル	仕様記述言語「Ｚ」（ゼッド）
副書名	「仕様」の数学的構造化に「自然言語」を使う！
シリーズ名	Ｉ　Ｏ　ｂｏｏｋｓ
著者名等	赤間世紀／著
出版	工学社２０１０．１１
大きさ等	２１ｃｍ１７５ｐ
分類	007.64
件名	プログラミング言語
注記	タイトル：仕様記述言語「Ｚ」
注記	文献あり　索引あり
要旨	「Ｚ」（ゼッド）は、「Ｚ言語」または「Ｚ記法」とも言い、論理学に基づく「仕様記述言語」で、ソフトウェアなど複雑なシステムの、厳密な記述ができます。ただし、実際に「Ｚ」を理解するには、かなり高度な数学的知識が必要です。そこで、本書は、「Ｚ」を、必要な数学の基礎から解説するので、「Ｚ言語」そのものはもちろん、「形式手法」一般への理解も深まるでしょう。
目次	第１章　序論；第２章　前提知識；第３章　Ｚ言語；第４章　証明とセマンティクス；第５章　Ｚの応用；第６章　結論
ISBN(13)、ISBN	978-4-7775-1564-6　　 4-7775-1564-8
書誌番号	1110083938
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1110083938

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	書庫		007.6/14385	一般書	利用可	-	2046050579