01558nam2-2200433li-450 99000020490020331620180312154702.03-540-57264-30020490USA010020490(ALEPH)000020490USA01002049020001109d1993----km-y0itay0103----baengGWStatic analysisthird International workshop, WSA'93Padova, Italy, September 22-24, 1993proceedingsPatrick Cousot (ed.)Berlin [etc.]Springer-Verlagcopyr. 1993IX, 283 p.ill.23 cmLecture notes in computer science72400100202642001Lecture notes in computer sciencealgoritmicongressi1993congressipadova1993elaboratori elettroniciprogrammazionecongressi1993linguaggi di programmazionecongressi19930051Programmazione. Tecnica di sviluppo dei programmiCousot,PatrickInternational workshop WSA'933.Padova1993746260Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000204900203316001 LNCS (724)001528500100102970BKSCI1994120220001110USA011714ALANDI9020010129USA01170620020403USA011628PATRY9020040406USA011615Static analysis1489268UNISA01414nam a22002771i 450099100341322970753620031006140607.0031111s1984 gw a||||||||||||||||ger b12422903-39ule_instARCHE-045619ExLDip.to LingueitaA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.446Goebl, Hans183004Dialektometrische Studien anhand italoromanischer, ratoromanischer und galloromanischer Sprachmaterialien aus AIS und ALF /Hans Goebl ; unter Mitarbeit von Siegfried Selberherr, Wolf-Dieter Rase und Hilmar PudlatzTubingen :M. Niemeyer,19843 v. :ill. ;24 cmRase, Wolf-DieterSelberherr, Siegfried.b1242290302-04-1413-11-03991003413229707536LE012 446 GOE 1V. 112012000198333le012-E0.00-l- 00000.i1284401913-11-03LE012 446 GOE 2V. 212012000198142le012-E0.00-l- 00000.i1284402013-11-03LE012 446 GOE 3V. 312012000198159le012-E0.00-l- 00000.i1284403213-11-03Dialektometrische Studien anhand italoromanischer, ratoromanischer und galloromanischer Sprachmaterialien aus AIS und ALF151201UNISALENTOle01213-11-03ma -gergw 03