01391nlm0 22003851i 450 9900092499504033219783540319849000924995FED01000924995(Aleph)000924995FED0100092499520100926d2005----km-y0itay50------baengDEdrnn-008mamaaFundamental Approaches to Software EngineeringRisorsa elettronica8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. ProcBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433442Documento elettronicoTestoFormato html, pdfCerioli,MauraITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/b107062EB990009249950403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringFundamental Approaches to Software Engineering771913UNINA