01447nlm0 22003971i 450 9900092554404033219783540787433000925544FED01000925544(Aleph)000925544FED0100092554420100926d2008----km-y0itay50------baengDEdrnn-008mamaaFundamental Approaches to Software EngineeringRisorsa elettronica11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008Berlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97434961Documento elettronicoTestoFormato html, pdfFiadeiro,José LuizInverardi,PaolaITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-78743-3EB990009255440403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringFundamental Approaches to Software Engineering771913UNINA