01530nlm0 22004211i 450 9900092479404033219783540719984000924794FED01000924794(Aleph)000924794FED0100092479420100926d2007----km-y0itay50------baengDEdrnn-008mamaaRecent Trends in Algebraic Development TechniquesRisorsa elettronica18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papersedited by José Luiz Fiadeiro, Pierre-Yves SchobbensBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434409Documento elettronicoTestoFormato html, pdfFiadeiro,José LuizSchobbens,Pierre-YvesITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-71998-4EB990009247940403321AlgebraData processingComputer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringSymbolic and Algebraic ManipulationRecent Trends in Algebraic Development Techniques771917UNINA