01550nlm0 22004331i 450 9900092440204033219783540319597000924402FED01000924402(Aleph)000924402FED0100092440220100926d2005----km-y0itay50------baengDEdrnn-008mamaaRecent Trends in Algebraic Development TechniquesRisorsa elettronica17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papersedited by José Luiz Fiadeiro, Peter D. Mosses, Fernando OrejasBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433423Documento elettronicoTestoFormato html, pdfFiadeiro,José LuizMosses,Peter D.Orejas,FernandoITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/b107129EB990009244020403321AlgebraData processingComputer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringSymbolic and Algebraic ManipulationRecent Trends in Algebraic Development Techniques771917UNINA