02048nam0 22004213i 450 AQ1000411120251003044041.00387574174New York3540574174Berlin20110926d1993 ||||0itac50 baengdez01i xxxe z01nAutomated and algorithmic debuggingfirst international workshop, AADEBUG '93Linkoping, Sweden, May 3-5, 1993proceedingsPeter A. Fritzson (ed.)Berlin \etc.!Springerc1993VIII, 367 p.ill.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis749Nella prefaz.: International workshop on automated and algorithmic debugging001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis749702 1Goos, GerhardAQ1V006441340Elaboratori elettroniciProgrammiVerificaFIRCFIC029938I005.1PROGRAMMAZIONE14005.1422VerificazioneProgrammi didatticiProgrammi scolasticiPiani di lavoroVerificaVerificazioneProgrammiProgrammi didatticiProgrammiProgrammi scolasticiProgrammiPiani di lavoroFritzson, Peter A. <1952- >AQ1V002187International workshop on automated and algorithmic debugging <1. ; 1993 ; Linkoping>AQ1V002186070714589AADEBUG <1. ; 1993 ; Linkoping>AQ1V002188International workshop on automated and algorithmic debugging <1. ; 1993 ; Linkoping>ITIT-00000020110926IT-BN0095 AQ10004111Biblioteca Centralizzata di Ateneo193 v. 01COLL. ING. LNCS 0102 0000013165 VMA FD749 v. 749Y 1994090920110926 01Automated and algorithmic debugging1381918UNISANNIO