01487nlm0 22004211i 450 9900092379804033219783540330516000923798FED01000923798(Aleph)000923798FED0100092379820100926d2006----km-y0itay50------baengDEdrnn-008mamaaCompiler ConstructionRisorsa elettronica15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedingsedited by ABerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97433923Documento elettronicoTestoFormato html, pdfMycroft,AlanZeller,AndreasITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11688839EB990009237980403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringCompiler Construction771871UNINA