00469nam a2200133Ia 450000100040000000500170000400800410002102000150006210000200007724500870009726000850018430000320026965000340030191920261006003506.0120911s9999    xx            000 0 und d  a0077079655  aRatcliff, Bryan  aIntroducing specification using z:a practical case study approach / Bryan Ratcliff  bLondon ; New York : McGraw-Hill, c1994.aLondon ; New York : McGraw-Hill, c1994.  axii, 308 p. : ill. ; 25 cm.  aZ (Computer program language)