01174nam a2200301 i 450099100090217970753620020507175531.0950828s1981 de ||| | eng 3540106995b10773356-39ule_instLE01304066ExLDip.to Matematicaeng001.642AMS 68-XXDíaz, Josep I.534746Formalization of programming concepts :international colloquium, Peniscola, Spain, April 19-25, 1981, proceedings /edited by J. Díaz and I. RamosBerlin :Springer-Verlag,1981vii, 478 p. :ill. ;25 cm.Includes bibliographies and indexComputer scienceCongressesElectronic digital computers-programmingCongressesRamos, Isidro.b1077335602-04-1428-06-02991000902179707536LE013 68-XX DIA11 (1981)12013000034164le013-E0.00-l- 00000.i1087196228-06-02Formalization of programming concepts922693UNISALENTOle01301-01-95ma -engde 01