01525nam2-2200421li-450 99000020396020331620180312154649.03-540-57417-40020396USA010020396(ALEPH)000020396USA01002039620001109d1993----km-y0itay0103----baengGWAutomated and algorithmic debuggingfirst International workshop AADEBUG'93Linköping, Sweden, May 1993: proceedingsPeter A. Fritzson (ed.)Berlin [etc.]Springer-Verlagcopyr. 1993VIII, 367 p.ill.24 cmLecture notes in computer science74900100202642001Lecture notes in computer sciencealgoritmicongressi1993congressilinkoping1993elaboratori elettroniciprogrammazionecongressi199300512Svuluppo dei programmiFritzson,Peter A.International workshop AADEBUG'931.Linköping1993746198Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000203960203316001 LNCS (749)001594300100103059BKSCI1994100720001110USA011714ALANDI9020010130USA01091020020403USA011628PATRY9020040406USA011615Automated and algorithmic debugging1489176UNISA01470nam--2200409---450 99000102230020331620180312154659.03-540-42127-10102230USA010102230(ALEPH)000102230USA01010223020020308d2001----km-y0ITAy0103-------baENGDEComputability and complexity in analysis4th International workshop, CCA 2000Swansea, UK, September 17-19, 2000selected papersJens Blanck ... <et al.> (eds.)Berlin [etc.]Springer-Verlagcopyr. 2001VIII, 393 p.ill.20 cmLecture notes in computer science20642001Lecture notes in computer science2064Analisi matematica Congressi 2000Funzioni computabili Congressi 2000Complessità computazionale Congressi 2000515.21Blanck,JensInternational workshop CCA 2000 <4. ; 2000 ; Swansea, UK>553360ITACBSISBD990001022300203316001 LNCS (2064)0026565 CBS00100104872BKSCIDIGIUSEPPE9020020308USA010907DIGIUSEPPE9020020308USA01092020020403USA011743PATRY9020040406USA011710Computability and complexity in analysis974292UNISA