01152nam a2200313 i 450099100109661970753620020507183209.0951115s1983 de ||| | eng 3540119817b10800402-39ule_instLE01306957ExLDip.to Matematicaeng001.642AMS 68-06AMS 68N05Salwicki, Andrzej535966Logics of programs and their applications :proceedings, Poznan, August 23-29, 1980 /edited by A. SalwickiBerlin :Springer-Verlag,1983vi, 324 p. :ill. ;25 cm.Includes bibliographiesComputer scienceCongressesElectronic digital computersCongressesProgrammingCongresses.b1080040221-09-0628-06-02991001096619707536LE013 68-XX SAL21 (1983)12013000039695le013-E0.00-l- 00000.i1090425628-06-02Logics of programs and their applications925474UNISALENTOle01301-01-95ma -engde 01