仕様記述言語「Z」

「Ｚ」（ゼッド）は、「Ｚ言語」または「Ｚ記法」とも言い、論理学に基づく「仕様記述言語」で、ソフトウェアなど複雑なシステムの、厳密な記述ができます。ただし、実際に「Ｚ」を理解するには、かなり高度な数学的知識が必要です。そこで、本書は、「Ｚ」を、必要な数学の基礎から解説するので、「Ｚ言語」そのものはもちろん、「形式手法」一般への理解も深まるでしょう。