Formal specification using Z
David Lightfoot
（Grassroots series）
Palgrave, 2001
2nd ed
関西国際大学 メディアライブラリー三木
: paperback007.64||L6056363
OPAC
九州産業大学 図書館
: paperback10660456
津田塾大学 図書館
: paperback005.12/L724110216850
津田塾大学 図書館図
新潟大学 附属図書館図
: paperback410.96//L621000127035
ものつくり大学 図書館・メディア情報センター図情セ
: paperback007.64||L6200014971
Includes index
Palgrave
Google Books