You are about to access our book library "仕様記述言語「Z」―「仕様」の数学的構造化に「自然言語」を使う! (I・O BOOKS) full version" .