000 00431nam a2200145Ia 4500
001 4204
005 20261006003749.0
008 120911s9999 xx 000 0 und d
020 _a0077077350
082 _a005.12 TUR
100 _a Turner,j.g.
_91578
245 _a The construction of formal specifications an introduction to the model-based and algebraic approaches
260 _a Mcgraw hill
650 _a Software engineering
999 _c4204
_d4204