00456nam a2200145Ia 4500 5661 20261006003859.0 120911s9999 xx 000 0 und d 0077079655 005.12 RAT Ratcliff, bryan 1576 Introducing specification using z:a practical case study approach / Bryan Ratcliff London ; New York : mcgraw-Hill, c1994. Z(computer program language) 6728 5661 5661 0 0 0 0 NU NU 2012-09-11 0 005.12 RAT 4507 2012-09-11 00:00:00 2012-09-11 OS