00493nam a2200181Ia 4500003000600000005001700006008004100023020001800064040001400082082001600096100001800112245005500130260003400185300003300219500001800252650001400270650002700284GCWUF20260812114321.0170105s9999    xx            000 0 und d  a9780521110648  cMAINbENG  a004.21bHEE  aHee, Van K.M.  aInformation System Engineering A Formal Approach /  aNew York :bCambridge,c2009.  axiii, 421 p. :c24 cm.fP.B.  aInclude Index  vComputers  vInformation Technology