00734cam a2200169 a 450000500170000000800410001702000150005803500150007305000250008811101130011324501640022626000370039030000110042744000490043865000560048770000210054320260818154625.0090714s1995    gw      r     100|0 eng d  a3540601171  a.b11457934 4aQA76.9 M35bI57 19952 aInternational Conference on the Mathematics of Program Constructionn(3rd :d1995 :cKloster Irsee, Germany)10aMathematics of program construction :bThird International Conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings /cBernhard Moller (ed.)  aBerlin :bSpringer-Verlag,c1995  a472 p. 0aLecture notes in computer science ;vno. 947 0aElectronic data processingxMathematicsvCongresses1 aMoller, Bernhard