00346nam a2200145Ia 4500001001300000003000400013008004100017010001700058100002000075700001800095245004800113260001700161300001100178082001100189008701015645LIB220712b        py ||||| |||| 00| 0 spa d  a008701015645  aMandrioli, Dino  aGhezzi, Carlo  aTheoretical foundations of computer science  bJohn Wileya  a478 p.  a004.01