00506nam a2200145Ia 4500 919 20261006003506.0 120911s9999 xx 000 0 und d 0077079655 Ratcliff, Bryan 1576 Introducing specification using z:a practical case study approach / Bryan Ratcliff London ; New York : McGraw-Hill, c1994. London ; New York : McGraw-Hill, c1994. xii, 308 p. : ill. ; 25 cm. Z (Computer program language) 1577 919 919 0 0 0 0 NU NU 2012-09-11 0 97 2012-09-11 00:00:00 2012-09-11 OS