00391nam a2200145Ia 4500008004100000020001800041041000800059082001500067100001300082245007200095260002000167300002800187365001700215700001300232230718s9999    xx            000 0 und d  a9780521879033  aeng  a005.1bMIL  aMills B.  aPractical Formal Software EngineeringbWanting The Software You Get  c2009bCambridge  a339dRef 1459 C (38789)  cRs.b3545.00  aMills B.