01682nlm0 22004691i 450 9900092474804033219783540358336000924748FED01000924748(Aleph)000924748FED0100092474820100926d2006----km-y0itay50------baengDEdrnn-008mamaaArchitecting Systems with Trustworthy ComponentsRisorsa elettronicaInternational Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papersedited by Ralf H. Reussner, Judith A. Stafford, Clemens A. SzyperskiBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97433938Documento elettronicoTestoFormato html, pdfReussner,Ralf H.Stafford,Judith A.Szyperski,Clemens A.ITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11786160EB990009247480403321Computer Communication NetworksComputer Communication NetworksComputer scienceComputer ScienceLogic designLogics and Meanings of ProgramsOperating SystemsOperating systems (Computers)Programming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringArchitecting Systems with Trustworthy Components771997UNINA