00321nam a2200121Ia 4500008004100000041000800041082001600049100001800065245004400083260002900127300003100156365001200187240624s9999 xx 000 0 und d aeng a658.872 KIM aKIMBROUGH S O aFORMAL MODELLING IN ELECTRONIC COMMERCE c2005aNew YorkbSpringer axii, : 562 : p. : cm. ; 23 cERUb28